spot  2.11.6
Public Member Functions | List of all members
spot::cubeset Class Referencefinal
Collaboration diagram for spot::cubeset:

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...
 

Constructor & Destructor Documentation

◆ cubeset()

spot::cubeset::cubeset ( int  aps)

Build the cubeset manager for aps variables.

Member Function Documentation

◆ alloc()

cube spot::cubeset::alloc ( ) const

Allocate a new cube.

◆ display()

void spot::cubeset::display ( const cube  c) const

Raw display cube.

◆ dump()

std::string spot::cubeset::dump ( cube  c,
const std::vector< std::string > &  aps 
) const

Return the cube binded with atomic proposition names.

◆ intersect()

bool spot::cubeset::intersect ( const cube  lhs,
const cube  rhs 
) const

return true if two cube intersect, i.e synchronisables.

◆ intersection()

cube spot::cubeset::intersection ( const cube  lhs,
const cube  rhs 
) const

return a cube resulting from the intersection of the two cubes

◆ is_false_var()

bool spot::cubeset::is_false_var ( cube  c,
unsigned int  x 
) const

Check if the variable at position x is false.

◆ is_true_var()

bool spot::cubeset::is_true_var ( cube  c,
unsigned int  x 
) const

Check if the variable at position x is true.

◆ is_valid()

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.

◆ release()

void spot::cubeset::release ( cube  lhs) const

Release a cube.

◆ set_false_var()

void spot::cubeset::set_false_var ( cube  c,
unsigned int  x 
) const

Set the variable at position x to false.

◆ set_true_var()

void spot::cubeset::set_true_var ( cube  c,
unsigned int  x 
) const

Set the variable at position x to true.

◆ size()

size_t spot::cubeset::size ( ) const

Return the size of each cube.


The documentation for this class was generated from the following file:

Please direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.
Generated on Fri Feb 27 2015 10:00:07 for spot by doxygen 1.9.1