Loading...
Searching...
No Matches
PropositionalTriangularDecomposition.h
The lower and upper bounds for an Rn space.
Definition: RealVectorBounds.h:48
A propositional decomposition wraps a given Decomposition with a region-to-proposition assignment ope...
Definition: PropositionalDecomposition.h:64
A PropositionalTriangularDecomposition is a triangulation that ignores obstacles and respects proposi...
Definition: PropositionalTriangularDecomposition.h:59
int getNumProps() const override
Returns the number of propositions in this propositional decomposition.
Definition: PropositionalTriangularDecomposition.cpp:84
World worldAtRegion(int triID) override
Returns the World corresponding to a given region.
Definition: PropositionalTriangularDecomposition.cpp:89
A TriangularDecomposition is a triangulation that ignores obstacles.
Definition: TriangularDecomposition.h:56
A class to represent an assignment of boolean values to propositions. A World can be partially restri...
Definition: World.h:72
Main namespace. Contains everything in this library.
Definition: ConstrainedSpaceInformation.h:53