spot::state_unicity_table Class Reference

Render state pointers unique via a hash table. More...

#include <spot/twa/twa.hh>

Collaboration diagram for spot::state_unicity_table:

Public Member Functions
const state *	operator() (const state *s)
	Canonicalize state pointer. More...
const state *	is_new (const state *s)
	Canonicalize state pointer. More...
size_t	size ()

Detailed Description

Render state pointers unique via a hash table.

Member Function Documentation

is_new()

const state * spot::state_unicity_table::is_new ( const state *  s )

inline

Canonicalize state pointer.

Same as operator(), except that a nullptr is returned if the state is not new.

References spot::state::destroy().

operator()()

const state * spot::state_unicity_table::operator() ( const state *  s )

inline

Canonicalize state pointer.

If this is the first time a state is seen, this returns the state pointer as-is, otherwise it frees the state and returns a pointer to the previously seen copy.

States are owned by the table and will be freed on destruction.

References spot::state::destroy().

---

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

• spot/twa/twa.hh