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
PropositionalTriangularDecomposition(const base::RealVectorBounds &bounds, const std::vector< Polygon > &holes=std::vector< Polygon >(), const std::vector< Polygon > &props=std::vector< Polygon >())
Creates a PropositionalTriangularDecomposition over the given bounds, which must be 2-dimensional....
Definition: PropositionalTriangularDecomposition.cpp:76
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