org.omwg.logicalexpression
Interface Visitor

public interface Visitor

This interface represents an visitor for the logical expression tree structure.

The visitor design pattern is a way of separating an algorithm from an object structure. A practical result of this separation is the ability to add new operations to existing object structures without modifying those structures.

The idea is to use a structure of element classes, each of which has an accept method that takes a visitor object as an argument. The visitor is an interface that has a different visit() method for each element class. The accept() method of an element class calls back the visit() method for its class. Separate concrete visitor classes can then be written that perform some particular operations.

Version:

$Revision: 1026 $ $Date: 2005-09-20 16:21:32 +0300 (Tue, 20 Sep 2005) $

Author:

DERI Innsbruck, reto.krummenacher@deri.org

See Also:

Visitor Pattern

Method Summary

void	visitAtom(Atom expr)
void	visitAttributeContraintMolecule(AttributeConstraintMolecule expr)
void	visitAttributeInferenceMolecule(AttributeInferenceMolecule expr)
void	visitAttributeValueMolecule(AttributeValueMolecule expr)
void	visitCompoundMolecule(CompoundMolecule expr)
void	visitConjunction(Conjunction expr)
void	visitConstraint(Constraint expr)
void	visitDisjunction(Disjunction expr)
void	visitEquivalence(Equivalence expr)
void	visitExistentialQuantification(ExistentialQuantification expr)
void	visitImplication(Implication expr)
void	visitInverseImplication(InverseImplication expr)
void	visitLogicProgrammingRule(LogicProgrammingRule expr)
void	visitMemberShipMolecule(MembershipMolecule expr)
void	visitNegation(Negation expr)
void	visitNegationAsFailure(NegationAsFailure expr)
void	visitSubConceptMolecule(SubConceptMolecule expr)
void	visitUniversalQuantification(UniversalQuantification expr)

Method Detail

visitAtom

void visitAtom(Atom expr)

Parameters:

expr - Atom

visitCompoundMolecule

void visitCompoundMolecule(CompoundMolecule expr)

Parameters:

expr - Molecule

visitSubConceptMolecule

void visitSubConceptMolecule(SubConceptMolecule expr)

Parameters:

expr - SubConceptMolecule

visitMemberShipMolecule

void visitMemberShipMolecule(MembershipMolecule expr)

Parameters:

expr -

visitAttributeValueMolecule

void visitAttributeValueMolecule(AttributeValueMolecule expr)

Parameters:

expr -

visitAttributeContraintMolecule

void visitAttributeContraintMolecule(AttributeConstraintMolecule expr)

Parameters:

expr -

visitAttributeInferenceMolecule

void visitAttributeInferenceMolecule(AttributeInferenceMolecule expr)

Parameters:

expr -

visitNegation

void visitNegation(Negation expr)

Parameters:

expr - NEG

visitNegationAsFailure

void visitNegationAsFailure(NegationAsFailure expr)

Parameters:

expr - NAF

visitConstraint

void visitConstraint(Constraint expr)

Parameters:

expr - CONSTRAINT

visitConjunction

void visitConjunction(Conjunction expr)

Parameters:

expr - AND

visitDisjunction

void visitDisjunction(Disjunction expr)

Parameters:

expr - OR

visitInverseImplication

void visitInverseImplication(InverseImplication expr)

Parameters:

expr - IMPLIEDBY

visitImplication

void visitImplication(Implication expr)

Parameters:

expr - IMPLIES

visitEquivalence

void visitEquivalence(Equivalence expr)

Parameters:

expr - EQUIVALENT

visitLogicProgrammingRule

void visitLogicProgrammingRule(LogicProgrammingRule expr)

Parameters:

expr - IMPLIESLP

visitUniversalQuantification

void visitUniversalQuantification(UniversalQuantification expr)

Parameters:

expr - FORALL

visitExistentialQuantification

void visitExistentialQuantification(ExistentialQuantification expr)

Parameters:

expr - EXISTS