20 #ifndef SPOT_FASTTGBA_CUBE_HH
21 # define SPOT_FASTTGBA_CUBE_HH
25 #include <boost/dynamic_bitset.hpp>
57 cube operator&(
const cube& rhs)
const;
62 void set_true_var(
size_t index);
67 void set_false_var(
size_t index);
72 void set_free_var(
size_t index);
79 bool is_valid()
const;
118 #endif // SPOT_FASTTGBA_CUBE_HH
this class acts like a wrapper to the C code of the open_set.
Definition: public.hh:32
ap_dict & aps_
the reference over the atomic props
Definition: cube.hh:113
boost::dynamic_bitset true_var
the set of variables set to true
Definition: cube.hh:111
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
SPOT_API std::ostream & dump(std::ostream &os, const formula *f)
Dump a formula tree.
boost::dynamic_bitset false_var
the set of variables set to false
Definition: cube.hh:112