This is the complete list of members for
spot::ltl::binop, including all inherited members.
accept(visitor &v) const | spot::ltl::binop | [virtual] |
accepts_eword() const | spot::ltl::formula | [inline] |
AtomicProp enum value | spot::ltl::formula | |
AutomatOp enum value | spot::ltl::formula | |
BinOp enum value | spot::ltl::formula | |
binop(type op, const formula *first, const formula *second) | spot::ltl::binop | [protected] |
BUnOp enum value | spot::ltl::formula | |
clone() const | spot::ltl::formula | |
Constant enum value | spot::ltl::formula | |
count_ | spot::ltl::formula | [protected] |
destroy() const | spot::ltl::formula | |
dump() const | spot::ltl::binop | [virtual] |
dump_instances(std::ostream &os) | spot::ltl::binop | [static] |
EConcat enum value | spot::ltl::binop | |
EConcatMarked enum value | spot::ltl::binop | |
Equiv enum value | spot::ltl::binop | |
first() const | spot::ltl::binop | |
first_ | spot::ltl::binop | [private] |
formula(opkind k) | spot::ltl::formula | [inline, protected] |
get_props() const | spot::ltl::formula | [inline] |
hash() const | spot::ltl::formula | [inline] |
Implies enum value | spot::ltl::binop | |
instance(type op, const formula *first, const formula *second) | spot::ltl::binop | [static] |
instance_count() | spot::ltl::binop | [static] |
instances | spot::ltl::binop | [protected, static] |
is | spot::ltl::formula | |
is_boolean() const | spot::ltl::formula | [inline] |
is_eltl_formula() const | spot::ltl::formula | [inline] |
is_eventual() const | spot::ltl::formula | [inline] |
is_finite() const | spot::ltl::formula | [inline] |
is_in_nenoform() const | spot::ltl::formula | [inline] |
is_ltl_formula() const | spot::ltl::formula | [inline] |
is_marked() const | spot::ltl::formula | [inline] |
is_psl_formula() const | spot::ltl::formula | [inline] |
is_sere_formula() const | spot::ltl::formula | [inline] |
is_sugar_free_boolean() const | spot::ltl::formula | [inline] |
is_sugar_free_ltl() const | spot::ltl::formula | [inline] |
is_syntactic_guarantee() const | spot::ltl::formula | [inline] |
is_syntactic_obligation() const | spot::ltl::formula | [inline] |
is_syntactic_persistence() const | spot::ltl::formula | [inline] |
is_syntactic_recurrence() const | spot::ltl::formula | [inline] |
is_syntactic_safety() const | spot::ltl::formula | [inline] |
is_universal() const | spot::ltl::formula | [inline] |
is_X_free() const | spot::ltl::formula | [inline] |
kind() const | spot::ltl::formula | [inline] |
M enum value | spot::ltl::binop | |
map typedef | spot::ltl::binop | [protected] |
MultOp enum value | spot::ltl::formula | |
op() const | spot::ltl::binop | |
op_ | spot::ltl::binop | [private] |
op_name() const | spot::ltl::binop | |
opkind enum name | spot::ltl::formula | |
pair typedef | spot::ltl::binop | [protected] |
pairf typedef | spot::ltl::binop | [protected] |
props | spot::ltl::formula | |
R enum value | spot::ltl::binop | |
ref_() const | spot::ltl::ref_formula | [protected, virtual] |
ref_count_() const | spot::ltl::ref_formula | [protected] |
ref_formula(opkind k) | spot::ltl::ref_formula | [protected] |
second() const | spot::ltl::binop | |
second_ | spot::ltl::binop | [private] |
type enum name | spot::ltl::binop | |
U enum value | spot::ltl::binop | |
UConcat enum value | spot::ltl::binop | |
UnOp enum value | spot::ltl::formula | |
unref_() const | spot::ltl::ref_formula | [protected, virtual] |
W enum value | spot::ltl::binop | |
Xor enum value | spot::ltl::binop | |
~binop() | spot::ltl::binop | [protected, virtual] |
~formula() | spot::ltl::formula | [protected, virtual] |
~ref_formula() | spot::ltl::ref_formula | [protected, virtual] |