Package astra.reasoner.util
Class VariableVisitor
java.lang.Object
astra.reasoner.util.VariableVisitor
- All Implemented Interfaces:
LogicVisitor
public class VariableVisitor extends Object implements LogicVisitor
-
Nested Class Summary
Nested Classes Modifier and Type Class Description static interfaceVariableVisitor.Handler<T> -
Constructor Summary
Constructors Constructor Description VariableVisitor() -
Method Summary
Modifier and Type Method Description static <T extends Formula>
voidaddFormulaHandler(VariableVisitor.Handler<T> handler)static <T extends Term>
voidaddTermHandler(VariableVisitor.Handler<T> handler)Set<Variable>variables()Objectvisit(Formula formula)Objectvisit(Term term)
-
Constructor Details
-
VariableVisitor
public VariableVisitor()
-
-
Method Details
-
addFormulaHandler
-
addTermHandler
-
variables
-
visit
- Specified by:
visitin interfaceLogicVisitor
-
visit
- Specified by:
visitin interfaceLogicVisitor
-