Uses of Class
astra.term.Variable

Packages that use Variable

Package	Description
astra.core
astra.formula
astra.reasoner.util
astra.statement
astra.term

Uses of Variable in astra.core

Methods in astra.core with parameters of type Variable

Modifier and Type	Method	Description
void	RuleExecutor.addVariable(Variable variable)
void	RuleExecutor.addVariable(Variable variable, Term term)
Term	Intention.getValue(Variable term)
Term	RuleExecutor.getValue(Variable term)
void	RuleExecutor.removeVariable(Variable variable)
boolean	Intention.updateVariable(Variable term, Term logic)	Moves down through the ruleexecutor stack looking for a ruleexecutor that has the variable being updated...
boolean	RuleExecutor.updateVariable(Variable term, Term logic)
boolean	StatementExecutor.updateVariable(Variable term, Term logic)

Method parameters in astra.core with type arguments of type Variable

Modifier and Type	Method	Description
void	RuleExecutor.addUnboundVariables(Set<Variable> variables)

Uses of Variable in astra.formula

Methods in astra.formula that return Variable

Modifier and Type	Method	Description
Variable	Bind.variable()
Variable	FormulaVariable.variable()

Constructors in astra.formula with parameters of type Variable

Constructor	Description
Bind(Variable variable, Term term)
FormulaVariable(Variable variable)

Uses of Variable in astra.reasoner.util

Methods in astra.reasoner.util that return types with arguments of type Variable

Modifier and Type	Method	Description
Set<Variable>	VariableVisitor.variables()

Method parameters in astra.reasoner.util with type arguments of type Variable

Modifier and Type	Method	Description
static Map<Integer,Term>	Utilities.filter(Map<Integer,Term> source, Set<Variable> variables)
Object	VariableVisitor.Handler.handle(LogicVisitor visitor, T object, Set<Variable> variables)

Uses of Variable in astra.statement

Constructors in astra.statement with parameters of type Variable

Constructor	Description
Assignment(Variable variable, Term value)
Assignment(Variable variable, String clazz, int[] data, Term value)
Declaration(Variable variable)
Declaration(Variable variable, Term value)
Declaration(Variable variable, String clazz, int[] data)
Declaration(Variable variable, String clazz, int[] data, Term value)
ForAll(String clazz, int[] data, Variable variable, Term list, Statement body)
MinusMinus(Variable variable)
MinusMinus(Variable variable, String clazz, int[] data)
MinusMinus(Variable variable, String clazz, int[] data, Term value)
PlusPlus(Variable variable)
PlusPlus(Variable variable, String clazz, int[] data)
PlusPlus(Variable variable, String clazz, int[] data, Term value)

Uses of Variable in astra.term

Methods in astra.term that return Variable

Modifier and Type	Method	Description
Variable	Variable.clone()
Variable	ListSplitter.tail()

Constructors in astra.term with parameters of type Variable

Constructor	Description
ListSplitter(Term head, Variable tail)