BddComponent.hh File Reference

BddComponent a class that encodes a component into a set of BDDs. More...

#include <vector>
#include <unordered_map>
#include <diades/automata/Component.hh>
#include <diades/automata/SynchronisationRules.hh>
#include <diades/sdmdl/Formula.hh>

Go to the source code of this file.

Classes
class	Diades::Sdmdl::BddComponent

Namespaces
	Diades
	Namespace of the Diades project.
	Diades::Sdmdl

Detailed Description

BddComponent a class that encodes a component into a set of BDDs.

Author

Yannick Pencole ypenc.nosp@m.ole@.nosp@m.laas..nosp@m.fr

Date

Fri Apr 10 09:48:32 2015

Definition in file BddComponent.hh.