Class AdvicePropositionDisj

Defined in File Proposition.h

Inheritance Relationships

Base Type

public VAL::AdviceProposition (Class AdviceProposition)

Class Documentation

class AdvicePropositionDisj : public VAL::AdviceProposition 

Public Functions

inline AdvicePropositionDisj()

~AdvicePropositionDisj()

inline virtual bool isAdvice() const

inline void addAdviceProp(const AdviceProposition *ap)

virtual void display(int indent = 0) const

virtual void displayLaTeX(int depth = 0) const

inline void visitAll(APVisitor *apv) const

inline virtual void visit(APVisitor *apv) const