Package astra.reasoner.util

Interface LogicVisitor

All Known Implementing Classes:

AbstractEvaluateVisitor, BindingsEvaluateVisitor, ContextEvaluateVisitor, RenameVisitor, VariableVisitor

public interface LogicVisitor

Method Summary

Modifier and Type	Method	Description
Object	visit(Formula formula)
Object	visit(Term term)

Method Details

visit

Object visit(Formula formula)

visit

Object visit(Term term)