spot
0.9.1
|
#include <ltlast/formula.hh>
Public Attributes | |
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 |
Referenced by spot::ltl::formula::accepts_eword().
Referenced by spot::ltl::formula::is_boolean().
Referenced by spot::ltl::formula::is_eltl_formula().
Referenced by spot::ltl::formula::is_eventual().
Referenced by spot::ltl::formula::is_finite().
Referenced by spot::ltl::formula::is_in_nenoform().
Referenced by spot::ltl::formula::is_ltl_formula().
Referenced by spot::ltl::formula::is_marked().
Referenced by spot::ltl::formula::is_psl_formula().
Referenced by spot::ltl::formula::is_sere_formula().
Referenced by spot::ltl::formula::is_sugar_free_boolean().
Referenced by spot::ltl::formula::is_sugar_free_ltl().
Referenced by spot::ltl::formula::is_syntactic_guarantee().
Referenced by spot::ltl::formula::is_syntactic_obligation().
Referenced by spot::ltl::formula::is_syntactic_persistence().
Referenced by spot::ltl::formula::is_syntactic_recurrence().
Referenced by spot::ltl::formula::is_syntactic_safety().
Referenced by spot::ltl::formula::is_universal().
Referenced by spot::ltl::formula::is_X_free().