spot::language_containment_checker Member List

This is the complete list of members for spot::language_containment_checker, including all inherited members.

aborter_	spot::language_containment_checker	protected
branching_postponement_	spot::language_containment_checker	protected
c_	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_	spot::language_containment_checker	protected
equal(formula l, formula g)	spot::language_containment_checker
exprop_	spot::language_containment_checker	protected
fair_loop_approx_	spot::language_containment_checker	protected
incompatible_(record_ *l, record_ *g)	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)	spot::language_containment_checker	protected
symb_merge_	spot::language_containment_checker	protected
translated_	spot::language_containment_checker	protected
~language_containment_checker() (defined in spot::language_containment_checker)	spot::language_containment_checker