|
spot
2.3.3.dev
|

Public Member Functions | |
| twa_graph_edge_data (bdd cond, acc_cond::mark_t acc=0U) noexcept | |
| bool | operator< (const twa_graph_edge_data &other) const |
| bool | operator== (const twa_graph_edge_data &other) const |
Public Attributes | |
| bdd | cond |
| acc_cond::mark_t | acc |
1.8.13