spot
2.3
|
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 |