This class represents conjunction of variables.
More...
#include <fasttgba/cube.hh>
This class represents conjunction of variables.
It is used as a wrapper for manipulating set of variables without dealing with the implementation.
Initialize a cube of size size.
Default initialisation set all the cube to true
std::string spot::cube::dump |
( |
| ) |
|
output the description of the cube
- Parameters
-
names | provides a descriptor for each variable |
bool spot::cube::is_valid |
( |
| ) |
const |
return true if the cube is valid considering true and false variables
cube spot::cube::operator& |
( |
const cube & |
rhs | ) |
const |
The logical AND of two cubes.
Warning! This function do not check the consistency of the resulting cube. To check this consistency a call to is_valid is needed.
- Parameters
-
rhs | the object to AND with |
bool spot::cube::operator== |
( |
const spot::cube & |
rhs | ) |
|
Compare two cubes.
- Parameters
-
rhs | the object to compare with |
void spot::cube::set_false_var |
( |
size_t |
index | ) |
|
Set the variable at the index position to false.
- Parameters
-
index | the index in the cube |
void spot::cube::set_free_var |
( |
size_t |
index | ) |
|
Set the variable at the index position to free.
- Parameters
-
index | the index in the cube |
void spot::cube::set_true_var |
( |
size_t |
index | ) |
|
Set the variable at the index position to true.
- Parameters
-
index | the index in the cube |
size_t spot::cube::size |
( |
| ) |
const |
return the size of the cube
the reference over the atomic props
boost::dynamic_bitset spot::cube::false_var |
|
protected |
the set of variables set to false
boost::dynamic_bitset spot::cube::true_var |
|
protected |
the set of variables set to true
The documentation for this class was generated from the following file: