Abstract class of DD specifications without states. More...
#include <DdSpec.hpp>
Collaboration diagram for tdzdd::StatelessDdSpec< S, AR >:
Additional Inherited Members | |
 Public Member Functions inherited from tdzdd::DdSpecBase< S, AR > | |
| std::vector< std::pair< int, int > > | findOneInstance () const |
| Returns a random instance using simple depth-first search without caching. More... | |
| void | dumpDot (std::ostream &os=std::cout, std::string title=typenameof< S >()) const |
| Dumps the diagram in Graphviz (DOT) format. More... | |
| std::string | dot (std::string title=typenameof< S >()) const |
| Makes an input code for Graphviz. More... | |
Detailed Description
template<typename S, int AR>
class tdzdd::StatelessDdSpec< S, AR >
Abstract class of DD specifications without states.
Every implementation must have the following functions:
- int getRoot()
- int getChild(int level, int value)
Optionally, the following functions can be overloaded:
- void printLevel(std::ostream& os, int level) const
- Template Parameters
-
S the class implementing this class. AR arity of the nodes.
Definition at line 195 of file DdSpec.hpp.
The documentation for this class was generated from the following file:
- include/tdzdd/DdSpec.hpp
