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