Collaboration diagram for spot::cubeset:

Public Member Functions
	cubeset (int aps)
	Build the cubeset manager for aps variables.
cube	alloc () const
	Allocate a new cube.
void	set_true_var (cube c, unsigned int x) const
	Set the variable at position x to true.
void	set_false_var (cube c, unsigned int x) const
	Set the variable at position x to false.
bool	is_true_var (cube c, unsigned int x) const
	Check if the variable at position x is true.
bool	is_false_var (cube c, unsigned int x) const
	Check if the variable at position x is false.
bool	intersect (const cube lhs, const cube rhs) const
	return true if two cube intersect, i.e synchronisables.
cube	intersection (const cube lhs, const cube rhs) const
	return a cube resulting from the intersection of the two cubes
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.
size_t	size () const
	Return the size of each cube.
void	release (cube lhs) const
	Release a cube.
void	display (const cube c) const
	Raw display cube.
std::string	dump (cube c, const std::vector< std::string > &aps) const
	Return the cube binded with atomic proposition names.

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:

spot/twacube/cube.hh

Public Member Functions