logic
Class Quantifier

java.lang.Object
  logic.SymbolicObject
      logic.Sentence
          logic.Quantifier

All Implemented Interfaces:

java.lang.Cloneable

Direct Known Subclasses:

Existential, Universal

public abstract class Quantifier

extends Sentence

Field Summary

protected Sentence	_s
protected Variable	_v

Constructor Summary

Quantifier(Variable v, Sentence s)

Method Summary

java.lang.Object	clone()
boolean	containsDisjunction()
Sentence	eliminateExists()
Sentence	eliminateForall(api.ProblemInstance p)
Sentence	flatten()
SymbolicObject	getFirst()
Term	getFirstTerm()
SList	getList()
SymbolicObject	getRest()
int	hashCode()
TermList	obtainVariables() returns a * of Terms that are Variables.
Sentence	reconcileTypes(api.Domain d, api.ProblemInstance p)
java.lang.String	toString()

Methods inherited from class logic.Sentence

containsTerm, getSList, infoString, initializeOccurrences, isAdmissibleOutcome, isAtomic, isCompound, isEquals, isNegation, isNegationOf, isNotEquals, isSymbol, negate, relativize, renameVariables, symbolicMatch, toSentence

Methods inherited from class logic.SymbolicObject

compareTo, copyData, debugString, equals, geq, getName, getOccurrences, getProbability, getType, getTypeName, gt, isTyped, leq, lt, setOccurrences, setProbability, setType, substitute, substituteVariable, symbolicSignature, unify

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

_v

protected Variable _v

_s

protected Sentence _s

Constructor Detail

Quantifier

public Quantifier(Variable v,
                  Sentence s)

Method Detail

clone

public java.lang.Object clone()

Overrides:

clone in class Sentence

eliminateExists

public Sentence eliminateExists()

Specified by:

eliminateExists in class Sentence

eliminateForall

public Sentence eliminateForall(api.ProblemInstance p)

Specified by:

eliminateForall in class Sentence

flatten

public Sentence flatten()

Specified by:

flatten in class Sentence

reconcileTypes

public Sentence reconcileTypes(api.Domain d,
                               api.ProblemInstance p)

Specified by:

reconcileTypes in class Sentence

getFirst

public SymbolicObject getFirst()

Specified by:

getFirst in class SymbolicObject

getFirstTerm

public Term getFirstTerm()

Specified by:

getFirstTerm in class SymbolicObject

getRest

public SymbolicObject getRest()

Specified by:

getRest in class SymbolicObject

getList

public SList getList()

Specified by:

getList in class Sentence

hashCode

public int hashCode()

toString

public java.lang.String toString()

Specified by:

toString in class SymbolicObject

obtainVariables

public TermList obtainVariables()

Description copied from class: SymbolicObject

returns a * of Terms that are Variables. If this Term isn't a Variable, an empty * is returned.

Specified by:

obtainVariables in class SymbolicObject

containsDisjunction

public boolean containsDisjunction()

Overrides:

containsDisjunction in class Sentence