|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||
public interface LpStructureUnitVisitor
Classes implementing this interface can act as visitors of classes
implementing the LpStructureUnit interface.
LpPrinter,
LpGroundDecider| Method Summary | |
|---|---|
void |
visit(LpAtom atom)
A method for visiting atom LpAtom. |
void |
visit(LpCompoundTerm term)
A method for visiting a LpCompoundTerm. |
void |
visit(LpConstant con)
A method for visiting a LpConstant. |
void |
visit(LpFunction fun)
A method for visiting a LpFunction. |
void |
visit(LpLiteral lit)
A method for visiting a LpLiteral. |
void |
visit(LpPredicate pred)
A method for visiting a LpPredicate. |
void |
visit(LpRule rule)
A method for visiting a LpRule. |
void |
visit(LpVariable var)
A method for visiting a LpVariable. |
| Method Detail |
|---|
void visit(LpConstant con)
LpConstant.
con - the LpConstant to visitvoid visit(LpVariable var)
LpVariable.
var - the LpVariable to visitvoid visit(LpFunction fun)
LpFunction.
fun - the LpFunction to visitvoid visit(LpCompoundTerm term)
LpCompoundTerm.
term - the LpCompoundTerm to visitvoid visit(LpPredicate pred)
LpPredicate.
pred - the LpPredicate to visitvoid visit(LpAtom atom)
LpAtom.
atom - the LpAtom to visitvoid visit(LpLiteral lit)
LpLiteral.
lit - the LpLiteral to visitvoid visit(LpRule rule)
LpRule.
rule - the LpRule to visit
|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||