logic
Class CompoundTerm

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

All Implemented Interfaces:

java.lang.Cloneable

Direct Known Subclasses:

Structure

public abstract class CompoundTerm

extends Term

Field Summary

Fields inherited from class logic.Term

_name, _type

Constructor Summary

CompoundTerm()

Method Summary

TermList	addArg(java.lang.Object value)
TermList	addArg(java.lang.String name)
TermList	addArg(Term term)
TermList	addArgs(TermList terms)
abstract TermList	addTerm(Term term)
abstract TermList	addTerms(TermList terms)
Term	copyTypesFrom(Term t)
Term	getArg(int i)
abstract AtomicTerm	getFunctionSymbol()
Term	getLastTerm()
abstract Term	getTerm(int i)
abstract TermList	getTerms()
boolean	isCompound() From Term abstract class
boolean	isSymbol()
abstract int	numTerms()
Term	reconcileTypes(api.Domain d, api.ProblemInstance p)
Term	setLastTerm(Term term)
abstract Term	setTerm(int i, Term t)
abstract TermList	setTerms(TermList t)
abstract SymbolicObject	symbolicSignature()
boolean	typeCompatible(Term t) are the term's arguments a special case of d's ?

Methods inherited from class logic.Term

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

Methods inherited from class logic.SymbolicObject

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

Methods inherited from class java.lang.Object

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

Constructor Detail

CompoundTerm

public CompoundTerm()

Method Detail

symbolicSignature

public abstract SymbolicObject symbolicSignature()

Specified by:

symbolicSignature in class SymbolicObject

getFunctionSymbol

public abstract AtomicTerm getFunctionSymbol()

getTerms

public abstract TermList getTerms()

addTerm

public abstract TermList addTerm(Term term)

addTerms

public abstract TermList addTerms(TermList terms)

numTerms

public abstract int numTerms()

getTerm

public abstract Term getTerm(int i)

setTerm

public abstract Term setTerm(int i,
                             Term t)

setTerms

public abstract TermList setTerms(TermList t)

isCompound

public boolean isCompound()

From Term abstract class

Specified by:

isCompound in class SymbolicObject

isSymbol

public boolean isSymbol()

Specified by:

isSymbol in class SymbolicObject

getLastTerm

public Term getLastTerm()

setLastTerm

public Term setLastTerm(Term term)

getArg

public Term getArg(int i)

addArg

public TermList addArg(Term term)

addArg

public TermList addArg(java.lang.String name)

addArg

public TermList addArg(java.lang.Object value)

addArgs

public TermList addArgs(TermList terms)

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

typeCompatible

public boolean typeCompatible(Term t)

Description copied from class: Term

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

Specified by:

typeCompatible in class Term