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

Constructor Summary

Constructors

Constructor	Description
VariableVisitor()

Method Summary

Modifier and Type	Method	Description
static <T extends Formula> void	addFormulaHandler(VariableVisitor.Handler<T> handler)
static <T extends Term> void	addTermHandler(VariableVisitor.Handler<T> handler)
Set<Variable>	variables()
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

VariableVisitor

public VariableVisitor()

Method Details

addFormulaHandler

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

addTermHandler

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

variables

public Set<Variable> variables()

visit

public Object visit(Formula formula)

Specified by:

visit in interface LogicVisitor

visit

public Object visit(Term term)

Specified by:

visit in interface LogicVisitor