spot  0.9.1
Public Member Functions | Protected Types | Protected Attributes
spot::acc_compl Class Reference

Helper class to convert acceptance conditions into promises. More...

#include <misc/acccompl.hh>

List of all members.

Public Member Functions

 acc_compl (bdd all, bdd neg)
bdd complement (const bdd acc)
bdd reverse_complement (const bdd acc)

Protected Types

typedef Sgi::hash_map< bdd,
bdd, bdd_hash
bdd_cache_t

Protected Attributes

bdd all_
bdd neg_
bdd_cache_t cache_

Detailed Description

Helper class to convert acceptance conditions into promises.

A set of acceptance conditions represented by the sum "à la Spot", is converted into a product of promises.


Member Typedef Documentation

typedef Sgi::hash_map<bdd, bdd, bdd_hash> spot::acc_compl::bdd_cache_t [protected]

Constructor & Destructor Documentation

spot::acc_compl::acc_compl ( bdd  all,
bdd  neg 
) [inline]

Member Function Documentation

bdd spot::acc_compl::complement ( const bdd  acc)
bdd spot::acc_compl::reverse_complement ( const bdd  acc)

Member Data Documentation

bdd spot::acc_compl::all_ [protected]
bdd spot::acc_compl::neg_ [protected]

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 Wed May 23 2012 12:06:46 for spot by doxygen 1.7.6.1