logic
Class Structure

java.lang.Object
  logic.SymbolicObject
      logic.Term
          logic.CompoundTerm
              logic.Structure

All Implemented Interfaces:

java.lang.Cloneable

Direct Known Subclasses:

FunctionalStructure

public class Structure

extends CompoundTerm

Field Summary

java.lang.String

reverseTag

Fields inherited from class logic.Term

_name, _type

Constructor Summary

Structure(AtomicTerm name)

Structure(AtomicTerm name, TermList terms)

Structure(java.lang.String name)

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

Structure(SymbolicObject name, SymbolicObject terms)

Method Summary

TermList	addTerm(Term term)
TermList	addTerms(TermList terms)
java.lang.Object	clone()
int	compareTo(java.lang.Object o) Compare two SymbolicObjects.
boolean	equals(java.lang.Object o)
SymbolicObject	getFirst() Defined in CompoundTerm superclass: isCompound() isSymbol() getLastTerm(); setLastTerm( term );
Term	getFirstTerm()
AtomicTerm	getFunctionSymbol()
java.lang.String	getName()
SymbolicObject	getRest()
Term	getTerm(int i)
TermList	getTerms()
int	hashCode()
Term	inverse()
int	numTerms()
TermList	obtainVariables() from Term abstract class retrieves all the Variables and returns them in a Vector
Structure	rename(java.lang.String name)
protected AtomicTerm	setFunctionSymbol(AtomicTerm f)
Term	setTerm(int i, Term t)
TermList	setTerms(TermList t)
SymbolicObject	substitute(Substitution s) from Term abstract class only the terms of the function are of concern.
SymbolicObject	substituteVariable(Variable oldVar, Term newVar)
boolean	symbolicMatch(java.lang.Object o)
SymbolicObject	symbolicSignature()
java.lang.String	toString()
Substitution	unify(SymbolicObject t, Substitution s) Implementation abstract method from Term.

Methods inherited from class logic.CompoundTerm

addArg, addArg, addArg, addArgs, copyTypesFrom, getArg, getLastTerm, isCompound, isSymbol, reconcileTypes, setLastTerm, typeCompatible

Methods inherited from class logic.Term

equals, getType, getTypeName, isTyped, setType

Methods inherited from class logic.SymbolicObject

copyData, debugString, geq, getOccurrences, getProbability, gt, infoString, leq, lt, setOccurrences, setProbability

Methods inherited from class java.lang.Object

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

Field Detail

reverseTag

public java.lang.String reverseTag

Constructor Detail

Structure

public Structure(SymbolicObject name,
                 SymbolicObject terms)

Structure

public Structure(AtomicTerm name,
                 TermList terms)

Structure

public Structure(AtomicTerm name)

Structure

public Structure(java.lang.String name)

Structure

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

Method Detail

clone

public java.lang.Object clone()

Overrides:

clone in class Term

rename

public Structure rename(java.lang.String name)

getName

public java.lang.String getName()

Overrides:

getName in class Term

setFunctionSymbol

protected AtomicTerm setFunctionSymbol(AtomicTerm f)

setTerms

public TermList setTerms(TermList t)

Specified by:

setTerms in class CompoundTerm

numTerms

public int numTerms()

Specified by:

numTerms in class CompoundTerm

getFirst

public SymbolicObject getFirst()

Defined in CompoundTerm superclass: isCompound() isSymbol() getLastTerm(); setLastTerm( term );

Overrides:

getFirst in class Term

getRest

public SymbolicObject getRest()

Specified by:

getRest in class SymbolicObject

getFunctionSymbol

public AtomicTerm getFunctionSymbol()

Specified by:

getFunctionSymbol in class CompoundTerm

getFirstTerm

public Term getFirstTerm()

Specified by:

getFirstTerm in class SymbolicObject

getTerms

public TermList getTerms()

Specified by:

getTerms in class CompoundTerm

addTerm

public TermList addTerm(Term term)

Specified by:

addTerm in class CompoundTerm

addTerms

public TermList addTerms(TermList terms)

Specified by:

addTerms in class CompoundTerm

getTerm

public Term getTerm(int i)

Specified by:

getTerm in class CompoundTerm

setTerm

public Term setTerm(int i,
                    Term t)

Specified by:

setTerm in class CompoundTerm

inverse

public Term inverse()

symbolicSignature

public SymbolicObject symbolicSignature()

Specified by:

symbolicSignature in class CompoundTerm

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 o)

Specified by:

equals in class SymbolicObject

hashCode

public int hashCode()

symbolicMatch

public boolean symbolicMatch(java.lang.Object o)

Specified by:

symbolicMatch in class Term

obtainVariables

public TermList obtainVariables()

from Term abstract class retrieves all the Variables and returns them in a Vector

Specified by:

obtainVariables in class SymbolicObject

substituteVariable

public SymbolicObject substituteVariable(Variable oldVar,
                                         Term newVar)

Specified by:

substituteVariable in class SymbolicObject

substitute

public SymbolicObject substitute(Substitution s)

from Term abstract class only the terms of the function are of concern. Returns a new Function object with appropriate terms replaced

Specified by:

substitute in class SymbolicObject

unify

public Substitution unify(SymbolicObject t,
                          Substitution s)

Implementation abstract method from Term.

Specified by:

unify in class SymbolicObject

toString

public java.lang.String toString()

Specified by:

toString in class SymbolicObject