PropositionalTriangularDecomposition.h
A TriangularDecomposition is a triangulation that ignores obstacles.
Definition: TriangularDecomposition.h:55
A class to represent an assignment of boolean values to propositions. A World can be partially restri...
Definition: World.h:71
World worldAtRegion(int triID) override
Returns the World corresponding to a given region.
Definition: PropositionalTriangularDecomposition.cpp:89
A propositional decomposition wraps a given Decomposition with a region-to-proposition assignment ope...
Definition: PropositionalDecomposition.h:63
int getNumProps() const override
Returns the number of propositions in this propositional decomposition.
Definition: PropositionalTriangularDecomposition.cpp:84
A PropositionalTriangularDecomposition is a triangulation that ignores obstacles and respects proposi...
Definition: PropositionalTriangularDecomposition.h:58
The lower and upper bounds for an Rn space.
Definition: RealVectorBounds.h:47
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