logic
Class Universal

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

All Implemented Interfaces:

java.lang.Cloneable

public class Universal

extends Quantifier

Field Summary

Fields inherited from class logic.Quantifier

_s, _v

Constructor Summary

Universal(Variable v, Sentence s)

Method Summary

int	compareTo(java.lang.Object o) Compare two SymbolicObjects.
Sentence	eliminateForall(api.ProblemInstance p)
boolean	equals(java.lang.Object other)
java.lang.String	getName()
Sentence	negate() Return the negation of this sentence by applying deMorgan's law.
Sentence	renameVariables()
SymbolicObject	substitute(Substitution s)
SymbolicObject	substituteVariable(Variable oldVar, Term newVar)
SymbolicObject	symbolicSignature()
java.lang.String	toString()
Substitution	unify(SymbolicObject t, Substitution s) Given two terms, return their most general unifier, or null if they don't unify.

Methods inherited from class logic.Quantifier

clone, containsDisjunction, eliminateExists, flatten, getFirst, getFirstTerm, getList, getRest, hashCode, obtainVariables, reconcileTypes

Methods inherited from class logic.Sentence

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

Methods inherited from class logic.SymbolicObject

copyData, debugString, geq, getOccurrences, getProbability, getType, getTypeName, gt, isTyped, leq, lt, setOccurrences, setProbability, setType

Methods inherited from class java.lang.Object

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

Constructor Detail

Universal

public Universal(Variable v,
                 Sentence s)

Method Detail

eliminateForall

public Sentence eliminateForall(api.ProblemInstance p)

Overrides:

eliminateForall in class Quantifier

negate

public Sentence negate()

Description copied from class: Sentence

Return the negation of this sentence by applying deMorgan's law.

Overrides:

negate in class Sentence

substitute

public SymbolicObject substitute(Substitution s)

Specified by:

substitute in class SymbolicObject

substituteVariable

public SymbolicObject substituteVariable(Variable oldVar,
                                         Term newVar)

Specified by:

substituteVariable in class SymbolicObject

renameVariables

public Sentence renameVariables()

Specified by:

renameVariables in class Sentence

getName

public java.lang.String getName()

Specified by:

getName in class SymbolicObject

symbolicSignature

public SymbolicObject symbolicSignature()

Specified by:

symbolicSignature in class SymbolicObject

compareTo

public int compareTo(java.lang.Object o)

Description copied from class: SymbolicObject

Compare two SymbolicObjects. The result is zero if the objects are equal according to the equals() operator. Otherwise, the result is a negative integer if this object's name lexicographically precedes the other's name. The result is a positive integer if this object's name lexicographically follows the other's name.

Specified by:

compareTo in class SymbolicObject

equals

public boolean equals(java.lang.Object other)

Specified by:

equals in class SymbolicObject

unify

public Substitution unify(SymbolicObject t,
                          Substitution s)

Description copied from class: SymbolicObject

Given two terms, return their most general unifier, or null if they don't unify. may be mutated.

Specified by:

unify in class SymbolicObject

toString

public java.lang.String toString()

Overrides:

toString in class Quantifier