Class AdviceProposition
Defined in File Proposition.h
Inheritance Relationships
Derived Types
public VAL::AdvicePropositionComp(Class AdvicePropositionComp)public VAL::AdvicePropositionConj(Class AdvicePropositionConj)public VAL::AdvicePropositionDP(Class AdvicePropositionDP)public VAL::AdvicePropositionDisj(Class AdvicePropositionDisj)public VAL::AdvicePropositionLiteral(Class AdvicePropositionLiteral)
Class Documentation
-
class AdviceProposition
Subclassed by VAL::AdvicePropositionComp, VAL::AdvicePropositionConj, VAL::AdvicePropositionDP, VAL::AdvicePropositionDisj, VAL::AdvicePropositionLiteral