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 interface	RenameVisitor.Handler<T>

Constructor Summary

Constructors

Constructor	Description
RenameVisitor(String modifier)

Method Summary

Modifier and Type	Method	Description
static <T extends Formula> void	addFormulaHandler(RenameVisitor.Handler<T> handler)
static <T extends Term> void	addTermHandler(RenameVisitor.Handler<T> handler)
Map<Integer,Term>	bindings()
Object	visit(Formula formula)
Object	visit(Term term)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

RenameVisitor

public RenameVisitor(String modifier)

Method Details

addFormulaHandler

public static <T extends Formula> void addFormulaHandler(RenameVisitor.Handler<T> handler)

addTermHandler

public static <T extends Term> void addTermHandler(RenameVisitor.Handler<T> handler)

bindings

public Map<Integer,Term> bindings()

visit

public Object visit(Formula formula)

Specified by:

visit in interface LogicVisitor

visit

public Object visit(Term term)

Specified by:

visit in interface LogicVisitor