ompl::control::World Class Reference
A class to represent an assignment of boolean values to propositions. A World can be partially restrictive, i.e., some propositions do not have to be assigned a value, in which case it can take on any value. Our notion of a World is similar to a set of truth assignments in propositional logic. More...
#include <ompl/control/planners/ltl/World.h>
Public Member Functions | |
| World (unsigned int numProps) | |
| Initializes a world with a given number of propositions. | |
| bool | operator[] (unsigned int i) const |
| Returns the boolean value of a given proposition in this World. Reports an error if the proposition has not set in this World. | |
| bool & | operator[] (unsigned int i) |
| Returns the boolean value of a given proposition in this World. Creates a boolean value for the proposition if one does not already exist. | |
| unsigned int | numProps () const |
| Returns the number of propositions declared for this World. Not all of the propositions have necessarily been set. | |
| bool | satisfies (const World &w) const |
| Returns whether this World propositionally satisfies a given World w. Specifically, returns true iff for every proposition p assigned in w, p is assigned in this World and this[p] == w[p]. | |
| std::string | formula () const |
| Returns a formatted string representation of this World, as a conjunction of literals. | |
| const std::unordered_map< unsigned int, bool > & | props () const |
| Returns this World's underlying proposition-to-boolean assignment map. | |
| bool | operator== (const World &w) const |
| Returns whether this World is equivalent to a given World, by comparing their truth assignment maps. | |
| void | clear () |
| Clears this world's truth assignment. | |
Protected Attributes | |
| unsigned int | numProps_ |
| std::unordered_map< unsigned int, bool > | props_ |
Friends | |
| struct | std::hash< World > |
Detailed Description
A class to represent an assignment of boolean values to propositions. A World can be partially restrictive, i.e., some propositions do not have to be assigned a value, in which case it can take on any value. Our notion of a World is similar to a set of truth assignments in propositional logic.
The documentation for this class was generated from the following files: