20 #ifndef SPOT_FASTTGBA_CUBE_HH
21 # define SPOT_FASTTGBA_CUBE_HH
25 #include <boost/dynamic_bitset.hpp>
120 #endif // SPOT_FASTTGBA_CUBE_HH
ap_dict & aps_
the reference over the atomic props
Definition: cube.hh:115
cube operator&(const cube &rhs) const
The logical AND of two cubes.
bool is_valid() const
return true if the cube is valid considering true and false variables
boost::dynamic_bitset true_var
the set of variables set to true
Definition: cube.hh:113
This class represents conjunction of variables.
Definition: cube.hh:34
This class is used to create a dictionary that will contain all atomic propositions that are needed b...
Definition: ap_dict.hh:41
void set_true_var(size_t index)
Set the variable at the index position to true.
size_t size() const
return the size of the cube
bool operator==(const spot::cube &rhs)
Compare two cubes.
void set_free_var(size_t index)
Set the variable at the index position to free.
cube(ap_dict &aps)
Initialize a cube of size size.
void set_false_var(size_t index)
Set the variable at the index position to false.
std::string dump()
output the description of the cube
boost::dynamic_bitset false_var
the set of variables set to false
Definition: cube.hh:114