spot  1.0
Public Member Functions | Protected Types | Protected Attributes | List of all members
spot::acc_compl Class Reference

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

#include <misc/acccompl.hh>

Collaboration diagram for spot::acc_compl:
Collaboration graph

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_cache_t spot::acc_compl::cache_
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 Sat Oct 27 2012 09:34:33 for spot by doxygen 1.8.1.2