spot
1.1.3
|
#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 |
bool | lbt_atomic_props:1 |
bool spot::ltl::formula::ltl_prop::accepting_eword |
Referenced by spot::ltl::formula::accepts_eword().
bool spot::ltl::formula::ltl_prop::boolean |
Referenced by spot::ltl::formula::is_boolean().
bool spot::ltl::formula::ltl_prop::eltl_formula |
Referenced by spot::ltl::formula::is_eltl_formula().
bool spot::ltl::formula::ltl_prop::eventual |
bool spot::ltl::formula::ltl_prop::finite |
Referenced by spot::ltl::formula::is_finite().
bool spot::ltl::formula::ltl_prop::in_nenoform |
Referenced by spot::ltl::formula::is_in_nenoform().
bool spot::ltl::formula::ltl_prop::lbt_atomic_props |
Referenced by spot::ltl::formula::has_lbt_atomic_props().
bool spot::ltl::formula::ltl_prop::ltl_formula |
Referenced by spot::ltl::formula::is_ltl_formula().
bool spot::ltl::formula::ltl_prop::not_marked |
Referenced by spot::ltl::formula::is_marked().
bool spot::ltl::formula::ltl_prop::psl_formula |
Referenced by spot::ltl::formula::is_psl_formula().
bool spot::ltl::formula::ltl_prop::sere_formula |
Referenced by spot::ltl::formula::is_sere_formula().
bool spot::ltl::formula::ltl_prop::sugar_free_boolean |
Referenced by spot::ltl::formula::is_sugar_free_boolean().
bool spot::ltl::formula::ltl_prop::sugar_free_ltl |
Referenced by spot::ltl::formula::is_sugar_free_ltl().
bool spot::ltl::formula::ltl_prop::syntactic_guarantee |
Referenced by spot::ltl::formula::is_syntactic_guarantee().
bool spot::ltl::formula::ltl_prop::syntactic_obligation |
Referenced by spot::ltl::formula::is_syntactic_obligation().
bool spot::ltl::formula::ltl_prop::syntactic_persistence |
Referenced by spot::ltl::formula::is_syntactic_persistence().
bool spot::ltl::formula::ltl_prop::syntactic_recurrence |
Referenced by spot::ltl::formula::is_syntactic_recurrence().
bool spot::ltl::formula::ltl_prop::syntactic_safety |
Referenced by spot::ltl::formula::is_syntactic_safety().
bool spot::ltl::formula::ltl_prop::universal |
bool spot::ltl::formula::ltl_prop::X_free |
Referenced by spot::ltl::formula::is_X_free().