|
bool | boolean:1 |
|
bool | sugar_free_boolean:1 |
|
bool | in_nenoform:1 |
|
bool | X_free:1 |
|
bool | sugar_free_ltl:1 |
|
bool | ltl_formula:1 |
|
bool | eltl_formula:1 |
|
bool | psl_formula:1 |
|
bool | sere_formula:1 |
|
bool | finite:1 |
|
bool | eventual:1 |
|
bool | universal:1 |
|
bool | syntactic_safety:1 |
|
bool | syntactic_guarantee:1 |
|
bool | syntactic_obligation:1 |
|
bool | syntactic_recurrence:1 |
|
bool | syntactic_persistence:1 |
|
bool | not_marked:1 |
|
bool | accepting_eword:1 |
|
bool | lbt_atomic_props:1 |
|
The documentation for this struct was generated from the following file: