|
|||||||||
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 |