spot::ltl::language_containment_checker::record_ Struct Reference

Collaboration diagram for spot::ltl::language_containment_checker::record_:

Collaboration graph
[legend]
List of all members.

Public Types

typedef std::map< const record_ *,
bool > 
incomp_map

Public Attributes

const tgbatranslation
incomp_map incompatible

Member Typedef Documentation

typedef std::map<const record_*, bool> spot::ltl::language_containment_checker::record_::incomp_map


Member Data Documentation

const tgba* spot::ltl::language_containment_checker::record_::translation

incomp_map spot::ltl::language_containment_checker::record_::incompatible


The documentation for this struct was generated from the following file:
Please comment this page and report errors about it on the RefDocComments page.
Generated on Tue Jul 17 15:15:06 2007 for spot by doxygen 1.5.2