spot::cubeset Class Reference

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:

• spot/twacube/cube.hh