PropositionalTriangularDecomposition.h
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
A PropositionalTriangularDecomposition is a triangulation that ignores obstacles and respects proposi...
Definition: PropositionalTriangularDecomposition.h:59
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 propositional decomposition wraps a given Decomposition with a region-to-proposition assignment ope...
Definition: PropositionalDecomposition.h:64
The lower and upper bounds for an Rn space.
Definition: RealVectorBounds.h:48
A class to represent an assignment of boolean values to propositions. A World can be partially restri...
Definition: World.h:72