Uses of Class
ai.krr.fol.Term

Packages that use Term

ai.krr.fol

Uses of Term in ai.krr.fol

Subclasses of Term in ai.krr.fol

class	Constant The most basic Term is a Constant that is represented by a Symbol.
class	FunctionTerm This class allows to build structured Terms that consist of a function symbol and a number of arguments.
class	Variable This class implements symbolic variables in Java.

Fields in ai.krr.fol declared as Term

protected Term[]

FunctionTerm.arguments

Methods in ai.krr.fol that return Term

abstract Term	Term.clone() Returns a copy of this Term.
Term	Variable.clone(Substitution s) Cloning a Variable with a given Substitution returns a new Term which is determined by the given Substitution.
abstract Term	Term.clone(Substitution s) Returns a copy of this Term with Variables replaced according to the given Substitution.
Term[]	Literal.getArguments() This function returns the argument Terms of this Atom.
Term[]	FunctionTerm.getArguments() This function returns the arguments of this FunctionTerm.
Term[]	Atom.getArguments() This function returns the argument Terms of this Atom.
Term	VariableRenaming.getValue(Variable aVar) This function returns the Term the given Variable is mapped to.
Term	Substitution.getValue(Variable aVar) This function returns the Term the given Variable is mapped to under this Substitution.
Term	Instantiation.getValue(Variable aVar) This function returns the Term the given Variable is mapped to.
protected Term	XfolSentenceAdaptor.parseTerm(org.w3c.dom.Element node, java.util.Map<java.lang.String,NameSpace> proxies)
static Term	KifSentenceAdaptor.parseTerm(inf.compilers.LexicalAnalyzer scanner, java.util.Properties props, KifSentenceAdaptor.VariableStack allVars)

Methods in ai.krr.fol with parameters of type Term

int	Variable.compareTo(Term other) This function compares this Variable to the given Term.
abstract int	Term.compareTo(Term term) This function compares this Term to the given Term.
int	FunctionTerm.compareTo(Term other) This function compares this FunctionTerm to the given Term.
int	Constant.compareTo(Term other) This function compares this Constant to the given Term.
protected org.w3c.dom.Element	XfolSentenceAdaptor.generateTermNode(org.w3c.dom.Document doc, Term term)
static void	KifSentenceAdaptor.prettyPrintTerm(int indent, Term term, java.io.Writer w, java.util.Properties props)
protected Sentence	TruthValue.skolemize(boolean isNegated, Term[] uqVars, Substitution s) This function computes a skolemized version of this Sentence.
protected abstract Sentence	Sentence.skolemize(boolean isNegated, Term[] uqVars, Substitution s) This function computes a skolemized version of this Sentence.
protected Sentence	QuantifiedSentence.skolemize(boolean isNegated, Term[] uqVars, Substitution s) This function computes a skolemized version of this Sentence.
protected Sentence	NegatedSentence.skolemize(boolean isNegated, Term[] uqVars, Substitution s) This function computes a skolemized version of this Sentence.
protected Sentence	Literal.skolemize(boolean isNegated, Term[] uqVars, Substitution s) This function computes a skolemized version of this Sentence.
protected Sentence	ConnectedSentence.skolemize(boolean isNegated, Term[] uqVars, Substitution s) This function computes a skolemized version of this Sentence.
protected Sentence	BinaryConnectedSentence.skolemize(boolean isNegated, Term[] uqVars, Substitution s) This function computes a skolemized version of this Sentence.
protected Sentence	Atom.skolemize(boolean isNegated, Term[] uqVars, Substitution s) This function computes a skolemized version of this Sentence.
boolean	Variable.unify(Term other, Substitution s) This function attempts to extend the given Substitution so that this Term and the given Term are unified.
abstract boolean	Term.unify(Term other, Substitution s) This function attempts to extend the given Substitution so that this Term and the given Term are unified.
boolean	FunctionTerm.unify(Term other, Substitution s) This function attempts to extend the given Substitution so that this FunctionTerm and the given Term are unified.
boolean	Constant.unify(Term other, Substitution s) This function attempts to extend the given Substitution so that this Term and the given Term are unified.
boolean	VariableRenaming.unify(Term aTerm, Variable aVar) This function attempts to extend this Substitution such that the given Variable (from the "right" expression) and the given Term (from the "left") are unified and returns whether this succeeded.
boolean	Substitution.unify(Term lTerm, Variable rVar) This function attempts to extend this Substitution such that the given Variable (from the "right" expression) and the given Term (from the "left") are unified and returns whether this succeeded.
boolean	Instantiation.unify(Term aTerm, Variable aVar) This function attempts to extend this Substitution such that the given Variable (from the "right" expression) and the given Term (from the "left") are unified and returns whether this succeeded.
boolean	VariableRenaming.unify(Variable aVar, Term aTerm) This function attempts to extend this Substitution such that the given Variable (from the "left" expression) and the given Term (from the "right") are unified and returns whether this succeeded.
boolean	Substitution.unify(Variable lVar, Term rTerm) This function attempts to extend this Substitution such that the given Variable (from the "left" expression) and the given Term (from the "right") are unified and returns whether this succeeded.
boolean	Instantiation.unify(Variable aVar, Term aTerm) This function attempts to extend this Substitution such that the given Variable (from the "left" expression) and the given Term (from the "right") are unified and returns whether this succeeded.
static void	KifSentenceAdaptor.writeTerm(Term term, java.io.Writer w, java.util.Properties props)

Constructors in ai.krr.fol with parameters of type Term

Atom(NamedSymbol pSymbol, Term... someTerms)
This constructor for an Atom takes a predicate Symbol and a number of argument Terms.

FunctionTerm(Symbol fSymbol, Term... someTerms)
This constructor for a FunctionTerm takes a function Symbol and a number of argument Terms; at least one.

Literal(boolean sign, NamedSymbol pSymbol, Term... someTerms)
This constructor for a Literal takes a boolean sign, a predicate Symbol and a number of argument Terms.

Constructor parameters in ai.krr.fol with type arguments of type Term

Atom(NamedSymbol pSymbol, java.util.List<Term> someTerms)
This constructor for an Atom takes a predicate Symbol and a List of argument Terms.

FunctionTerm(Symbol fSymbol, java.util.List<Term> someTerms)
This constructor for a FunctionTerm takes a function Symbol and a List of argument Terms.

Literal(boolean sign, NamedSymbol pSymbol, java.util.List<Term> someTerms)
This constructor for a Literal takes a boolean sign, a predicate Symbol and a List of argument Terms.