Class AdvicePropositionDP

Defined in File Proposition.h

Inheritance Relationships

Base Type

public VAL::AdviceProposition (Class AdviceProposition)

Class Documentation

class AdvicePropositionDP : public VAL::AdviceProposition 

Public Functions

inline AdvicePropositionDP(const DerivedGoal *p, bool n)

inline ~AdvicePropositionDP()

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 DerivedGoal *getDG() const

inline virtual void visit(APVisitor *apv) const