spot  2.3.3.dev
Public Types | Public Member Functions | Friends | List of all members
spot::twacube Class Referencefinal
Inheritance diagram for spot::twacube:
Inheritance graph
Collaboration diagram for spot::twacube:
Collaboration graph

Public Types

typedef digraph< cstate, transitiongraph_t
 
typedef graph_t::edge_storage_t edge_storage_t
 

Public Member Functions

 twacube (const std::vector< std::string > aps)
 
const acc_condacc () const
 
acc_condacc ()
 
std::vector< std::string > get_ap ()
 
unsigned int new_state ()
 
void set_initial (unsigned int init)
 
unsigned int get_initial ()
 
cstatestate_from_int (unsigned int i)
 
void create_transition (unsigned int src, const cube &cube, const acc_cond::mark_t &mark, unsigned int dst)
 
const cubesetget_cubeset () const
 
bool succ_contiguous () const
 
const graph_tget_graph ()
 
const graph_t::edge_storage_ttrans_storage (std::shared_ptr< trans_index > ci, unsigned int seed=0) const
 
const transitiontrans_data (std::shared_ptr< trans_index > ci, unsigned int seed=0) const
 
std::shared_ptr< trans_indexsucc (unsigned int i)
 

Friends

std::ostream & operator<< (std::ostream &os, const twacube &twa)
 

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 Apr 18 2017 14:42:58 for spot by doxygen 1.8.13