Uses of Class
astra.term.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 voidRuleExecutor. addVariable(Variable variable)voidRuleExecutor. addVariable(Variable variable, Term term)TermIntention. getValue(Variable term)TermRuleExecutor. getValue(Variable term)voidRuleExecutor. removeVariable(Variable variable)booleanIntention. updateVariable(Variable term, Term logic)Moves down through the ruleexecutor stack looking for a ruleexecutor that has the variable being updated...booleanRuleExecutor. updateVariable(Variable term, Term logic)booleanStatementExecutor. updateVariable(Variable term, Term logic)Method parameters in astra.core with type arguments of type Variable Modifier and Type Method Description voidRuleExecutor. addUnboundVariables(Set<Variable> variables) -
Uses of Variable in astra.formula
Methods in astra.formula that return Variable Modifier and Type Method Description VariableBind. variable()VariableFormulaVariable. 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)ObjectVariableVisitor.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 VariableVariable. clone()VariableListSplitter. tail()Constructors in astra.term with parameters of type Variable Constructor Description ListSplitter(Term head, Variable tail)