spot  1.0.2
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 (const bdd &all, const 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

const bdd all_
const 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 ( const bdd &  all,
const 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

const bdd spot::acc_compl::all_
protected
bdd_cache_t spot::acc_compl::cache_
protected
const 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 Mar 6 2013 09:25:15 for spot by doxygen 1.8.1.2