logic
Class True

java.lang.Object
  logic.SymbolicObject
      logic.Sentence
          logic.AtomicSentence
              logic.True

All Implemented Interfaces:

java.lang.Cloneable

public class True

extends AtomicSentence

Field Summary

Fields inherited from class logic.AtomicSentence

_p

Constructor Summary

True()

Method Summary

java.lang.Object	clone()
boolean	equals(java.lang.Object o)
Sentence	negate() Return the negation of this sentence by applying deMorgan's law.
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.AtomicSentence

addTerm, addTerms, compareTo, eliminateExists, eliminateForall, flatten, getFirst, getFirstTerm, getList, getName, getRest, getTerm, getTerm, getTerms, hashCode, numTerms, obtainVariables, reconcileTypes, renameVariables, setTerm, setTerm, setTerms, substitute, substituteVariable, symbolicMatch, toString

Methods inherited from class logic.Sentence

containsDisjunction, containsTerm, getSList, infoString, initializeOccurrences, isAdmissibleOutcome, isAtomic, isCompound, isEquals, isNegation, isNegationOf, isNotEquals, isSymbol, relativize, 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

True

public True()

Method Detail

clone

public java.lang.Object clone()

Overrides:

clone in class AtomicSentence

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class AtomicSentence

symbolicSignature

public SymbolicObject symbolicSignature()

Specified by:

symbolicSignature in class SymbolicObject

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

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.

Overrides:

unify in class AtomicSentence