spot  0.8.1
Classes | Public Member Functions | Protected Member Functions | Protected Attributes | Private Types
spot::ltl::language_containment_checker Class Reference

#include <ltlvisit/contain.hh>

Collaboration diagram for spot::ltl::language_containment_checker:
Collaboration graph
[legend]

List of all members.

Classes

struct  record_

Public Member Functions

 language_containment_checker (bdd_dict *dict, bool exprop, bool symb_merge, bool branching_postponement, bool fair_loop_approx)
 ~language_containment_checker ()
bool contained (const formula *l, const formula *g)
 Check whether L(l) is a subset of L(g).
bool neg_contained (const formula *l, const formula *g)
 Check whether L(!l) is a subset of L(g).
bool contained_neg (const formula *l, const formula *g)
 Check whether L(l) is a subset of L(!g).
bool equal (const formula *l, const formula *g)
 Check whether L(l) = L(g).

Protected Member Functions

bool incompatible_ (record_ *l, record_ *g)
record_register_formula_ (const formula *f)

Protected Attributes

bdd_dictdict_
bool exprop_
bool symb_merge_
bool branching_postponement_
bool fair_loop_approx_
trans_map translated_

Private Types

typedef Sgi::hash_map< const
formula *, record_,
formula_ptr_hash
trans_map

Member Typedef Documentation


Constructor & Destructor Documentation

spot::ltl::language_containment_checker::language_containment_checker ( bdd_dict dict,
bool  exprop,
bool  symb_merge,
bool  branching_postponement,
bool  fair_loop_approx 
)

This class uses spot::ltl_to_tgba_fm to translate LTL formulae. See that class for the meaning of these options.


Member Function Documentation

Check whether L(l) is a subset of L(g).

Check whether L(l) is a subset of L(!g).

bool spot::ltl::language_containment_checker::equal ( const formula l,
const formula g 
)

Check whether L(l) = L(g).

Check whether L(!l) is a subset of L(g).


Member Data Documentation


The documentation for this class was generated from the following file:

Please comment this page and report errors about it on the RefDocComments page.
Generated on Sun Dec 18 2011 12:57:16 for spot by doxygen 1.7.6.1