aborter_ (defined in spot::language_containment_checker) | spot::language_containment_checker | protected |
branching_postponement_ (defined in spot::language_containment_checker) | spot::language_containment_checker | protected |
c_ (defined in spot::language_containment_checker) | spot::language_containment_checker | protected |
clear() | spot::language_containment_checker | |
contained(formula l, formula g) | spot::language_containment_checker | |
contained_neg(formula l, formula g) | spot::language_containment_checker | |
dict_ (defined in spot::language_containment_checker) | spot::language_containment_checker | protected |
equal(formula l, formula g) | spot::language_containment_checker | |
exprop_ (defined in spot::language_containment_checker) | spot::language_containment_checker | protected |
fair_loop_approx_ (defined in spot::language_containment_checker) | spot::language_containment_checker | protected |
incompatible_(record_ *l, record_ *g) (defined in spot::language_containment_checker) | spot::language_containment_checker | protected |
language_containment_checker(bdd_dict_ptr dict=make_bdd_dict(), bool exprop=false, bool symb_merge=true, bool branching_postponement=false, bool fair_loop_approx=false, unsigned max_states=0U) | spot::language_containment_checker | |
neg_contained(formula l, formula g) | spot::language_containment_checker | |
register_formula_(formula f) (defined in spot::language_containment_checker) | spot::language_containment_checker | protected |
symb_merge_ (defined in spot::language_containment_checker) | spot::language_containment_checker | protected |
translated_ (defined in spot::language_containment_checker) | spot::language_containment_checker | protected |
~language_containment_checker() (defined in spot::language_containment_checker) | spot::language_containment_checker | |