Class APVisitor

• Defined in File Proposition.h

Class Documentation

class APVisitor

Public Functions

inline virtual ~APVisitor()

inline virtual void visitAPConj(const AdvicePropositionConj*)

inline virtual void visitAPDisj(const AdvicePropositionDisj*)

inline virtual void visitAPLiteral(const AdvicePropositionLiteral*)

inline virtual void visitAPDP(const AdvicePropositionDP*)

inline virtual void visitAPComp(const AdvicePropositionComp*)