logic
Class Precondition

java.lang.Object
  logic.SymbolicObject
      logic.Sentence
          logic.Precondition

All Implemented Interfaces:

java.lang.Cloneable

Direct Known Subclasses:

DisjunctivePrecondition

public abstract class Precondition

extends Sentence

Constructor Summary

Precondition()

Method Summary

int	compareTo(java.lang.Object other) Compare two SymbolicObjects.
SymbolicObject	getFirst()
Term	getFirstTerm()
java.lang.String	getName()
SymbolicObject	getRest()
Sentence	negate() Return the negation of this sentence by applying deMorgan's law.
TermList	obtainVariables() returns a * of Terms that are Variables.
Sentence	renameVariables()
boolean	symbolicMatch(java.lang.Object other)
SymbolicObject	symbolicSignature()
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.Sentence

clone, containsDisjunction, containsTerm, eliminateExists, eliminateForall, flatten, getList, getSList, infoString, initializeOccurrences, isAdmissibleOutcome, isAtomic, isCompound, isEquals, isNegation, isNegationOf, isNotEquals, isSymbol, reconcileTypes, relativize, toSentence

Methods inherited from class logic.SymbolicObject

copyData, debugString, equals, geq, getOccurrences, getProbability, getType, getTypeName, gt, isTyped, leq, lt, setOccurrences, setProbability, setType, substitute, substituteVariable, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

Precondition

public Precondition()

Method Detail

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

renameVariables

public Sentence renameVariables()

Specified by:

renameVariables in class Sentence

getName

public java.lang.String getName()

Specified by:

getName in class SymbolicObject

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

symbolicSignature

public SymbolicObject symbolicSignature()

Specified by:

symbolicSignature in class SymbolicObject

symbolicMatch

public boolean symbolicMatch(java.lang.Object other)

Overrides:

symbolicMatch in class Sentence

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

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

compareTo

public int compareTo(java.lang.Object other)

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