logic
Class FunctionalStructure

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

All Implemented Interfaces:

java.lang.Cloneable

public class FunctionalStructure

extends Structure

Field Summary

Fields inherited from class logic.Structure

reverseTag

Fields inherited from class logic.Term

_name, _type

Constructor Summary

FunctionalStructure(AtomicTerm name)

FunctionalStructure(AtomicTerm name, TermList terms)

FunctionalStructure(java.lang.String name)

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

FunctionalStructure(SymbolicObject name, SymbolicObject terms)

Method Summary

java.lang.Object

clone()

Methods inherited from class logic.Structure

addTerm, addTerms, compareTo, equals, getFirst, getFirstTerm, getFunctionSymbol, getName, getRest, getTerm, getTerms, hashCode, inverse, numTerms, obtainVariables, rename, setFunctionSymbol, setTerm, setTerms, substitute, substituteVariable, symbolicMatch, symbolicSignature, toString, unify

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

Constructor Detail

FunctionalStructure

public FunctionalStructure(SymbolicObject name,
                           SymbolicObject terms)

FunctionalStructure

public FunctionalStructure(AtomicTerm name,
                           TermList terms)

FunctionalStructure

public FunctionalStructure(AtomicTerm name)

FunctionalStructure

public FunctionalStructure(java.lang.String name)

FunctionalStructure

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

Method Detail

clone

public java.lang.Object clone()

Overrides:

clone in class Structure