|
| twacube (const std::vector< std::string > aps) |
|
const acc_cond & | acc () const |
|
acc_cond & | acc () |
|
std::vector< std::string > | get_ap () |
|
unsigned int | new_state () |
|
void | set_initial (unsigned int init) |
|
unsigned int | get_initial () |
|
cstate * | state_from_int (unsigned int i) |
|
void | create_transition (unsigned int src, const cube &cube, const acc_cond::mark_t &mark, unsigned int dst) |
|
const cubeset & | get_cubeset () const |
|
bool | succ_contiguous () const |
|
const graph_t & | get_graph () |
|
const graph_t::edge_storage_t & | trans_storage (std::shared_ptr< trans_index > ci, unsigned int seed=0) const |
|
const transition & | trans_data (std::shared_ptr< trans_index > ci, unsigned int seed=0) const |
|
std::shared_ptr< trans_index > | succ (unsigned int i) |
|
|
std::ostream & | operator<< (std::ostream &os, const twacube &twa) |
|
The documentation for this class was generated from the following file: