spot::bdd_dict_preorder Class Reference

A BDD dictionary wrapper that pre-registers atomic propositions before use. More...

#include <spot/twa/bdddict.hh>

Collaboration diagram for spot::bdd_dict_preorder:

Public Member Functions
	bdd_dict_preorder (bdd_dict_ptr dict)
	Construct from an existing bdd_dict. More...
	operator bdd_dict_ptr () const
	Implicit conversion to the underlying bdd_dict_ptr. More...
bdd_dict_ptr	get_dict () const
	Return the underlying bdd_dict shared pointer. More...
int	register_proposition (formula f)
	Register atomic proposition f and return its BDD variable number. More...
int	register_proposition (const std::string &f)
	Register atomic proposition f (by name) and return its BDD variable number. More...

Detailed Description

A BDD dictionary wrapper that pre-registers atomic propositions before use.

Constructor & Destructor Documentation

bdd_dict_preorder()

spot::bdd_dict_preorder::bdd_dict_preorder ( bdd_dict_ptr  dict )

inline

Construct from an existing bdd_dict.

Member Function Documentation

get_dict()

bdd_dict_ptr spot::bdd_dict_preorder::get_dict ( ) const

inline

Return the underlying bdd_dict shared pointer.

operator bdd_dict_ptr()

spot::bdd_dict_preorder::operator bdd_dict_ptr ( ) const

inline

Implicit conversion to the underlying bdd_dict_ptr.

register_proposition() [1/2]

int spot::bdd_dict_preorder::register_proposition ( const std::string &  f )

inline

Register atomic proposition f (by name) and return its BDD variable number.

References spot::formula::ap(), and register_proposition().

register_proposition() [2/2]

int spot::bdd_dict_preorder::register_proposition ( formula  f )

inline

Register atomic proposition f and return its BDD variable number.

Referenced by register_proposition().

---

The documentation for this class was generated from the following file:

• spot/twa/bdddict.hh