Uses of Class
jtp.fol.Variable

Packages that use Variable

jtp	Provides the basic, most general classes of the JTP architecture.
jtp.fol	Provides classes representing structures of first order logic.
jtp.frame
jtp.frame.fc
jtp.frame.listen
jtp.func

Uses of Variable in jtp

Methods in jtp with parameters of type Variable

boolean

ReasoningStep.contains(Variable v) Subclasses of ReasoningStep should not override this method.

Uses of Variable in jtp.fol

Methods in jtp.fol that return Variable

protected Variable

CanonicalVariables.createVariable()

Methods in jtp.fol with parameters of type Variable

boolean	UnifyableList.contains(Variable v)
boolean	Variable.contains(Variable v) Determines whether or not v is contained within this Variable.
boolean	Unifyable.contains(Variable v) Checks if this Unifyable contains a given Variable (in that case, they cannot be unified).

Uses of Variable in jtp.frame

Methods in jtp.frame that return Variable

Variable

ValueLinkCreationReasoningStep.getLinkVariable()

Methods in jtp.frame with parameters of type Variable

protected static Literal

ValueLinkCreationReasoningStep.formLiteralInGoalClause(Symbol fac, Symbol sl, Object fr, boolean inv, Variable linkVar, boolean flip)

Constructors in jtp.frame with parameters of type Variable

ValueLinkCreationReasoningStep(Symbol facFrom, Symbol slFrom, Object frFrom, boolean invFrom, Symbol facTo, Symbol slTo, Object frTo, boolean invTo, Variable linkVar, List subProofs)

ValueLinkCreationReasoningStep(Literal from, Literal to, Variable linkVar, List subProofs)

Uses of Variable in jtp.frame.fc

Methods in jtp.frame.fc with parameters of type Variable

protected RuleTriggeringProofStep	TrueLinkCreator.formRuleClause(Clause cl, Variable linkVar, Literal head, Literal source, RuleCreationReasoningStep rrs)
protected Literal	TrueLinkCreator.formTargetLiteral(Literal head, Literal source, Variable linkVar, String id)

Constructors in jtp.frame.fc with parameters of type Variable

TrueLinkRuleAction(FrameKB fkb, Literal from, Literal to, Variable linkVar, Literal ruleLit, ReasoningStep ruleStep, List triggers)

Uses of Variable in jtp.frame.listen

Methods in jtp.frame.listen with parameters of type Variable

boolean	VLTemplate.contains(Variable v)
boolean	TripleTemplate.contains(Variable v)
boolean	VCTemplate.contains(Variable v)

Uses of Variable in jtp.func

Constructors in jtp.func with parameters of type Variable

FunctionProofStep(Literal goal, Object val, Variable v)