logic
Class Predicate

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

All Implemented Interfaces:

java.lang.Cloneable

public class Predicate

extends AtomicSentence

Field Summary

Fields inherited from class logic.AtomicSentence

_p

Constructor Summary

Predicate()

Predicate(java.lang.String name)

Predicate(java.lang.String name, TermList terms)

Predicate(SymbolicObject name, SymbolicObject terms)

Predicate(Term p)

Method Summary

java.lang.Object	clone()
boolean	equals(java.lang.Object other)
Sentence	rename(java.lang.String s)
SymbolicObject	symbolicSignature()

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, unify

Methods inherited from class logic.Sentence

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

Predicate

public Predicate()

Predicate

public Predicate(SymbolicObject name,
                 SymbolicObject terms)

Predicate

public Predicate(java.lang.String name)

Predicate

public Predicate(java.lang.String name,
                 TermList terms)

Predicate

public Predicate(Term p)

Method Detail

clone

public java.lang.Object clone()

Overrides:

clone in class AtomicSentence

rename

public Sentence rename(java.lang.String s)

symbolicSignature

public SymbolicObject symbolicSignature()

Specified by:

symbolicSignature in class SymbolicObject

equals

public boolean equals(java.lang.Object other)

Overrides:

equals in class AtomicSentence