Package astra.reasoner.util

Interface RenameVisitor.Handler<T>

Enclosing class:

RenameVisitor

public static interface RenameVisitor.Handler<T>

Method Summary

Modifier and Type	Method	Description
Class<T>	getType()
Object	handle(LogicVisitor visitor, T object, String modifier, Map<Integer,Term> bindings)

Method Details

getType

Class<T> getType()

handle

Object handle(LogicVisitor visitor, T object, String modifier, Map<Integer,Term> bindings)