spot
0.8.2
|
Public Types | |
typedef std::map< const record_ *, bool > | incomp_map |
Public Attributes | |
const tgba * | translation |
incomp_map | incompatible |
typedef std::map<const record_*, bool> spot::ltl::language_containment_checker::record_::incomp_map |