|
|||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||
| SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||
java.lang.Object
|
+--prolog.UnifyVisitor
|
+--prolog.CompareVisitor
CompareVisitor Visitor per il confronto
| Fields inherited from class prolog.UnifyVisitor |
unified |
| Constructor Summary | |
CompareVisitor()
|
|
| Method Summary | |
void |
visitVar(Var e,
Sexp that)
Visita di una variabile |
| Methods inherited from class prolog.UnifyVisitor |
visitArgList,
visitEmptyList,
visitStructure,
visitSymbol,
visitTermList |
| Methods inherited from class java.lang.Object |
clone,
equals,
finalize,
getClass,
hashCode,
notify,
notifyAll,
toString,
wait,
wait,
wait |
| Constructor Detail |
public CompareVisitor()
| Method Detail |
public void visitVar(Var e,
Sexp that)
|
|||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||
| SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||