spot  1.1.4
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 direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.
Generated on Mon Jul 29 2013 00:27:25 for spot by doxygen 1.8.4