spot  1.2.1a
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Groups Pages
Public Member Functions | Protected Attributes | List of all members
spot::cube Class Reference

This class represents conjunction of variables. More...

#include <fasttgba/cube.hh>

Collaboration diagram for spot::cube:
Collaboration graph

Public Member Functions

 cube (ap_dict &aps)
 Initialize a cube of size size. More...
 
 cube (const spot::cube &c)
 a copy contructor More...
 
bool operator== (const spot::cube &rhs)
 Compare two cubes. More...
 
cube operator& (const cube &rhs) const
 The logical AND of two cubes. More...
 
void set_true_var (size_t index)
 Set the variable at the index position to true. More...
 
void set_false_var (size_t index)
 Set the variable at the index position to false. More...
 
void set_free_var (size_t index)
 Set the variable at the index position to free. More...
 
size_t size () const
 return the size of the cube More...
 
bool is_valid () const
 return true if the cube is valid considering true and false variables More...
 
std::string dump ()
 output the description of the cube More...
 

Protected Attributes

boost::dynamic_bitset true_var
 the set of variables set to true More...
 
boost::dynamic_bitset false_var
 the set of variables set to false More...
 
ap_dictaps_
 the reference over the atomic props More...
 
bool valid
 

Detailed Description

This class represents conjunction of variables.

It is used as a wrapper for manipulating set of variables without dealing with the implementation.

Constructor & Destructor Documentation

spot::cube::cube ( ap_dict aps)

Initialize a cube of size size.

Default initialisation set all the cube to true

spot::cube::cube ( const spot::cube c)

a copy contructor

Member Function Documentation

std::string spot::cube::dump ( )

output the description of the cube

Parameters
namesprovides 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
rhsthe object to AND with
bool spot::cube::operator== ( const spot::cube rhs)

Compare two cubes.

Parameters
rhsthe object to compare with
void spot::cube::set_false_var ( size_t  index)

Set the variable at the index position to false.

Parameters
indexthe index in the cube
void spot::cube::set_free_var ( size_t  index)

Set the variable at the index position to free.

Parameters
indexthe index in the cube
void spot::cube::set_true_var ( size_t  index)

Set the variable at the index position to true.

Parameters
indexthe index in the cube
size_t spot::cube::size ( ) const

return the size of the cube

Member Data Documentation

ap_dict& spot::cube::aps_
protected

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:

Please direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.
Generated on Tue Jan 21 2014 16:52:02 for spot by doxygen 1.8.5