logic
Class Wildcard

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

All Implemented Interfaces:

java.lang.Cloneable

public class Wildcard

extends AtomicTerm

Field Summary

Fields inherited from class logic.Term

_name, _type

Constructor Summary

Wildcard()

Method Summary

java.lang.Object	clone()
TermList	obtainVariables() returns a * of Terms that are Variables.
SymbolicObject	substitute(Substitution s)
SymbolicObject	substituteVariable(Variable oldVar, Term newVar)
Substitution	unify(SymbolicObject t, Substitution s) Given two terms, return their most general unifier, or null if they don't unify.

Methods inherited from class logic.AtomicTerm

compareTo, copyTypesFrom, equals, equals, getFirstTerm, getRest, hashCode, isCompound, isSymbol, reconcileTypes, symbolicMatch, symbolicSignature, toString, typeCompatible

Methods inherited from class logic.Term

getFirst, getName, 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

Wildcard

public Wildcard()

Method Detail

clone

public java.lang.Object clone()

Overrides:

clone in class Term

obtainVariables

public TermList obtainVariables()

Description copied from class: SymbolicObject

returns a * of Terms that are Variables. If this Term isn't a Variable, an empty * is returned.

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)

Specified by:

substitute in class SymbolicObject

unify

public Substitution unify(SymbolicObject t,
                          Substitution s)

Description copied from class: SymbolicObject

Given two terms, return their most general unifier, or null if they don't unify. may be mutated.

Specified by:

unify in class SymbolicObject