prolog
Class UnifyVisitor

java.lang.Object
  |
  +--prolog.UnifyVisitor

Direct Known Subclasses:

CompareVisitor

public class UnifyVisitor

extends java.lang.Object

implements PrologVisitor

UnifyVisitor Visitor per l'unificazione

Version:

02/02/2000

Author:

Marco Chiesi

Field Summary

boolean

unified

Constructor Summary

UnifyVisitor()

Method Summary

protected void	visitArgList(Sexp a1, Sexp a2)
void	visitEmptyList(EmptyList e, Sexp that) Visita di una lista vuota
void	visitStructure(Structure e, Sexp that) Visita di una struttura
void	visitSymbol(Symbol e, Sexp that) Visita di un simbolo
void	visitTermList(TermList e, Sexp that) Visita di una lista
void	visitVar(Var e, Sexp that) Visita di una variabile

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

unified

public boolean unified

Constructor Detail

UnifyVisitor

public UnifyVisitor()

Method Detail

visitSymbol

public void visitSymbol(Symbol e,
                        Sexp that)

Description copied from interface: PrologVisitor

Visita di un simbolo

Specified by:

visitSymbol in interface PrologVisitor

visitVar

public void visitVar(Var e,
                     Sexp that)

Description copied from interface: PrologVisitor

Visita di una variabile

Specified by:

visitVar in interface PrologVisitor

visitStructure

public void visitStructure(Structure e,
                           Sexp that)

Description copied from interface: PrologVisitor

Visita di una struttura

Specified by:

visitStructure in interface PrologVisitor

visitArgList

protected void visitArgList(Sexp a1,
                            Sexp a2)

visitTermList

public void visitTermList(TermList e,
                          Sexp that)

Description copied from interface: PrologVisitor

Visita di una lista

Specified by:

visitTermList in interface PrologVisitor

visitEmptyList

public void visitEmptyList(EmptyList e,
                           Sexp that)

Description copied from interface: PrologVisitor

Visita di una lista vuota

Specified by:

visitEmptyList in interface PrologVisitor