|
spot
2.3.3.dev
|

Public Member Functions | |
| cubeset (int aps) | |
| Build the cubeset manager for aps variables. More... | |
| cube | alloc () const |
| Allocate a new cube. More... | |
| void | set_true_var (cube c, unsigned int x) const |
| Set the variable at position x to true. More... | |
| void | set_false_var (cube c, unsigned int x) const |
| Set the variable at position x to false. More... | |
| bool | is_true_var (cube c, unsigned int x) const |
| Check if the variable at position x is true. More... | |
| bool | is_false_var (cube c, unsigned int x) const |
| Check if the variable at position x is false. More... | |
| bool | intersect (const cube lhs, const cube rhs) const |
| return true if two cube intersect, i.e synchronisables. More... | |
| cube | intersection (const cube lhs, const cube rhs) const |
| return a cube resulting from the intersection of the two cubes More... | |
| bool | is_valid (const cube lhs) const |
| Check wether lhs is valid, is there is not variable that is true and false at the same time. More... | |
| size_t | size () const |
| Return the size of each cube. More... | |
| void | release (cube lhs) const |
| Release a cube. More... | |
| void | display (const cube c) const |
| Raw display cube. More... | |
| std::string | dump (cube c, const std::vector< std::string > &aps) const |
| Return the cube binded with atomic proposition names. More... | |
| spot::cubeset::cubeset | ( | int | aps | ) |
Build the cubeset manager for aps variables.
| cube spot::cubeset::alloc | ( | ) | const |
Allocate a new cube.
| void spot::cubeset::display | ( | const cube | c | ) | const |
Raw display cube.
| std::string spot::cubeset::dump | ( | cube | c, |
| const std::vector< std::string > & | aps | ||
| ) | const |
Return the cube binded with atomic proposition names.
return true if two cube intersect, i.e synchronisables.
return a cube resulting from the intersection of the two cubes
| bool spot::cubeset::is_false_var | ( | cube | c, |
| unsigned int | x | ||
| ) | const |
Check if the variable at position x is false.
| bool spot::cubeset::is_true_var | ( | cube | c, |
| unsigned int | x | ||
| ) | const |
Check if the variable at position x is true.
| bool spot::cubeset::is_valid | ( | const cube | lhs | ) | const |
Check wether lhs is valid, is there is not variable that is true and false at the same time.
| void spot::cubeset::release | ( | cube | lhs | ) | const |
Release a cube.
| void spot::cubeset::set_false_var | ( | cube | c, |
| unsigned int | x | ||
| ) | const |
Set the variable at position x to false.
| void spot::cubeset::set_true_var | ( | cube | c, |
| unsigned int | x | ||
| ) | const |
Set the variable at position x to true.
| size_t spot::cubeset::size | ( | ) | const |
Return the size of each cube.
1.8.13