File Proposition.h

↰ Parent directory (src/VALfiles)

Definition (src/VALfiles/Proposition.h)

• Program Listing for File Proposition.h

Includes

• Environment.h (File Environment.h)

• Ownership.h (File Ownership.h)

• Polynomial.h (File Polynomial.h)

• iostream

• ptree.h (File ptree.h)

• set

Included By

• File Action.h

• File PlanExecutionTracker.h

• File State.h

• File TrajectoryConstraints.h

Namespaces

• Namespace VAL

Classes

• Struct PropositionFactory::buildProp

• Class AdviceProposition

• Class AdvicePropositionComp

• Class AdvicePropositionConj

• Class AdvicePropositionDisj

• Class AdvicePropositionDP

• Class AdvicePropositionLiteral

• Class APVisitor

• Class comparison

• Class ConjGoal

• Class ConstraintGoal

• Class DerivedGoal

• Class DisjGoal

• Class FalseProposition

• Class ImplyGoal

• Class NegGoal

• Class PreferenceGoal

• Class proposition

• Class PropositionFactory

• Class QfiedGoal

• Class SimpleProposition

Functions

• Function VAL::getIntervalFromPt

• Function VAL::isPointInInterval(CoScalar, const vector<pair<intervalEnd, intervalEnd>>&)

• Function VAL::isPointInInterval(CoScalar, const pair<intervalEnd, intervalEnd>&)

• Function VAL::isPointInInterval(CoScalar, const vector<pair<intervalEnd, intervalEnd>>&, const pair<intervalEnd, intervalEnd>&)

• Function VAL::operator<<(ostream&, const Proposition&)

• Function VAL::setComplement

• Function VAL::setIntersect

• Function VAL::setUnion