Class AdvicePropositionLiteral

Defined in File Proposition.h

Inheritance Relationships

Base Type

public VAL::AdviceProposition (Class AdviceProposition)

Class Documentation

class AdvicePropositionLiteral : public VAL::AdviceProposition 

Public Functions

inline AdvicePropositionLiteral(bool isAd, const SimpleProposition *sp, bool a)

inline ~AdvicePropositionLiteral()

inline virtual bool isAdvice() const

inline void changeAdvice(bool isAd, const SimpleProposition *sprop, bool a)

virtual void display(int indent = 0) const

virtual void displayLaTeX(int depth = 0) const

inline const SimpleProposition *getProp() const

inline virtual void visit(APVisitor *apv) const