| combine_and(bdd left, bdd right) (defined in spot::simple_ltl_translator) | spot::simple_ltl_translator | |
| combine_equiv(bdd left, bdd right) (defined in spot::simple_ltl_translator) | spot::simple_ltl_translator | |
| combine_implies(bdd left, bdd right) (defined in spot::simple_ltl_translator) | spot::simple_ltl_translator | |
| combine_not(bdd b) (defined in spot::simple_ltl_translator) | spot::simple_ltl_translator | |
| combine_or(bdd left, bdd right) (defined in spot::simple_ltl_translator) | spot::simple_ltl_translator | |
| combine_xor(bdd left, bdd right) (defined in spot::simple_ltl_translator) | spot::simple_ltl_translator | |
| formula_propeq_to_int(formula f) (defined in spot::simple_ltl_translator) | spot::simple_ltl_translator | |
| formula_propeq_to_terminal_bdd_as_int(formula f) (defined in spot::simple_ltl_translator) | spot::simple_ltl_translator | |
| formula_to_int(formula f) (defined in spot::simple_ltl_translator) | spot::simple_ltl_translator | |
| formula_to_terminal(formula f) (defined in spot::simple_ltl_translator) | spot::simple_ltl_translator | |
| formula_to_terminal_bdd(formula f) (defined in spot::simple_ltl_translator) | spot::simple_ltl_translator | |
| formula_to_terminal_bdd_as_int(formula f) (defined in spot::simple_ltl_translator) | spot::simple_ltl_translator | |
| get_cache() (defined in spot::simple_ltl_translator) | spot::simple_ltl_translator | inline |
| leaf_to_formula(int b, int term) const (defined in spot::simple_ltl_translator) | spot::simple_ltl_translator | |
| ltl_to_mtbdd(formula f) (defined in spot::simple_ltl_translator) | spot::simple_ltl_translator | |
| ltl_to_mtdswa(formula f, bool fuse_same_bdds) (defined in spot::simple_ltl_translator) | spot::simple_ltl_translator | |
| ltl_to_mtdswa_synthesis(formula f, const std::vector< std::string > &outvars, bool realizability, int debug=-1) (defined in spot::simple_ltl_translator) | spot::simple_ltl_translator | |
| propeq_encode(formula f, int level=0) (defined in spot::simple_ltl_translator) | spot::simple_ltl_translator | |
| propeq_representative(formula f, bool isacc) (defined in spot::simple_ltl_translator) | spot::simple_ltl_translator | |
| simple_ltl_translator(const bdd_dict_ptr &dict, bool simplify_terms=true) (defined in spot::simple_ltl_translator) | spot::simple_ltl_translator | |
| terminal_to_formula(int t) const (defined in spot::simple_ltl_translator) | spot::simple_ltl_translator | |
| ~simple_ltl_translator() (defined in spot::simple_ltl_translator) | spot::simple_ltl_translator | |
