logic
Class Term

java.lang.Object
  logic.SymbolicObject
      logic.Term

All Implemented Interfaces:

java.lang.Cloneable

Direct Known Subclasses:

AtomicTerm, CompoundTerm

public abstract class Term

extends SymbolicObject

Field Summary

protected java.lang.String	_name
protected api.Type	_type

Constructor Summary

Term()

Method Summary

java.lang.Object	clone()
abstract Term	copyTypesFrom(Term d)
boolean	equals(java.lang.Object o, Substitution s)
SymbolicObject	getFirst()
java.lang.String	getName()
api.Type	getType()
java.lang.String	getTypeName()
boolean	isTyped()
abstract Term	reconcileTypes(api.Domain d, api.ProblemInstance p)
void	setType(api.Type s)
abstract boolean	symbolicMatch(java.lang.Object other)
abstract boolean	typeCompatible(Term d) are the term's arguments a special case of d's ?

Methods inherited from class logic.SymbolicObject

compareTo, copyData, debugString, equals, geq, getFirstTerm, getOccurrences, getProbability, getRest, gt, infoString, isCompound, isSymbol, leq, lt, obtainVariables, setOccurrences, setProbability, substitute, substituteVariable, symbolicSignature, toString, unify

Methods inherited from class java.lang.Object

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

Field Detail

_name

protected java.lang.String _name

_type

protected api.Type _type

Constructor Detail

Term

public Term()

Method Detail

clone

public java.lang.Object clone()

Overrides:

clone in class SymbolicObject

getFirst

public SymbolicObject getFirst()

Specified by:

getFirst in class SymbolicObject

getName

public java.lang.String getName()

Specified by:

getName in class SymbolicObject

isTyped

public boolean isTyped()

Overrides:

isTyped in class SymbolicObject

setType

public void setType(api.Type s)

Overrides:

setType in class SymbolicObject

getTypeName

public java.lang.String getTypeName()

Overrides:

getTypeName in class SymbolicObject

getType

public api.Type getType()

Overrides:

getType in class SymbolicObject

reconcileTypes

public abstract Term reconcileTypes(api.Domain d,
                                    api.ProblemInstance p)

copyTypesFrom

public abstract Term copyTypesFrom(Term d)

typeCompatible

public abstract boolean typeCompatible(Term d)

are the term's arguments a special case of d's ?

equals

public boolean equals(java.lang.Object o,
                      Substitution s)

symbolicMatch

public abstract boolean symbolicMatch(java.lang.Object other)