formulaVisited
Class VisitorToString

java.lang.Object
  formulaVisited.VisitorToString

All Implemented Interfaces:

Visitor

public class VisitorToString
extends java.lang.Object
implements Visitor

A visitor that produces a string representation for each formula.

Constructor Summary

VisitorToString()

Method Summary

java.lang.Object	visit(Conjunction _f) Calculates the result for a Conjunction.
java.lang.Object	visit(Disjunction _f) Calculates the result for a Disjunction.
java.lang.Object	visit(LogicalConstant _f) Calculates the result for a LogicalConstant.
java.lang.Object	visit(LogicalVariable _f) Calculates the result for a LogicalVariable.
java.lang.Object	visit(Negation _f) Calculates the result for a Negation.

Methods inherited from class java.lang.Object

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

Constructor Detail

VisitorToString

public VisitorToString()

Method Detail

visit

public java.lang.Object visit(Conjunction _f)

Description copied from interface: Visitor

Calculates the result for a Conjunction.

Specified by:

visit in interface Visitor

visit

public java.lang.Object visit(Disjunction _f)

Description copied from interface: Visitor

Calculates the result for a Disjunction.

Specified by:

visit in interface Visitor

visit

public java.lang.Object visit(LogicalConstant _f)

Description copied from interface: Visitor

Calculates the result for a LogicalConstant.

Specified by:

visit in interface Visitor

visit

public java.lang.Object visit(LogicalVariable _f)

Description copied from interface: Visitor

Calculates the result for a LogicalVariable.

Specified by:

visit in interface Visitor

visit

public java.lang.Object visit(Negation _f)

Description copied from interface: Visitor

Calculates the result for a Negation.

Specified by:

visit in interface Visitor