Class AdvicePropositionComp

Defined in File Proposition.h

Inheritance Relationships

Base Type

public VAL::AdviceProposition (Class AdviceProposition)

Class Documentation

class AdvicePropositionComp : public VAL::AdviceProposition 

Public Functions

inline AdvicePropositionComp(bool isAd, const Comparison *c, string a, bool n)

inline ~AdvicePropositionComp()

inline virtual bool isAdvice() const

virtual void display(int indent = 0) const

virtual void displayLaTeX(int depth = 0) const

inline bool isNeg() const

inline const Comparison *getComp() const

inline virtual void visit(APVisitor *apv) const