logic
Class AtomicTerm

java.lang.Object
  logic.SymbolicObject
      logic.Term
          logic.AtomicTerm

All Implemented Interfaces:

java.lang.Cloneable

Direct Known Subclasses:

Literal, Variable, Wildcard

public abstract class AtomicTerm

extends Term

Field Summary

Fields inherited from class logic.Term

_name, _type

Constructor Summary

AtomicTerm()

Method Summary

int	compareTo(java.lang.Object other) Compare two SymbolicObjects.
Term	copyTypesFrom(Term t)
boolean	equals(java.lang.Object o) returns name equality
boolean	equals(java.lang.Object o, Substitution s)
Term	getFirstTerm()
SymbolicObject	getRest()
int	hashCode()
boolean	isCompound() From Term abstract class
boolean	isSymbol()
Term	reconcileTypes(api.Domain d, api.ProblemInstance p)
boolean	symbolicMatch(java.lang.Object o)
SymbolicObject	symbolicSignature()
java.lang.String	toString()
boolean	typeCompatible(Term t) is my type special case of d's ?

Methods inherited from class logic.Term

clone, getFirst, getName, getType, getTypeName, isTyped, setType

Methods inherited from class logic.SymbolicObject

copyData, debugString, geq, getOccurrences, getProbability, gt, infoString, leq, lt, obtainVariables, setOccurrences, setProbability, substitute, substituteVariable, unify

Methods inherited from class java.lang.Object

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

Constructor Detail

AtomicTerm

public AtomicTerm()

Method Detail

isCompound

public boolean isCompound()

From Term abstract class

Specified by:

isCompound in class SymbolicObject

isSymbol

public boolean isSymbol()

Specified by:

isSymbol in class SymbolicObject

getFirstTerm

public Term getFirstTerm()

Specified by:

getFirstTerm in class SymbolicObject

getRest

public SymbolicObject getRest()

Specified by:

getRest in class SymbolicObject

toString

public java.lang.String toString()

Specified by:

toString in class SymbolicObject

hashCode

public int hashCode()

symbolicSignature

public SymbolicObject symbolicSignature()

Specified by:

symbolicSignature in class SymbolicObject

symbolicMatch

public boolean symbolicMatch(java.lang.Object o)

Specified by:

symbolicMatch in class Term

equals

public boolean equals(java.lang.Object o)

returns name equality

Specified by:

equals in class SymbolicObject

equals

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

Overrides:

equals in class Term

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

typeCompatible

public boolean typeCompatible(Term t)

is my type special case of d's ?

Specified by:

typeCompatible in class Term

copyTypesFrom

public Term copyTypesFrom(Term t)

Specified by:

copyTypesFrom in class Term

reconcileTypes

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

Specified by:

reconcileTypes in class Term