Abstract class of DD specifications using scalar states. More...
#include <DdSpec.hpp>
Collaboration diagram for tdzdd::DdSpec< S, T, 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, typename T, int AR>
class tdzdd::DdSpec< S, T, AR >
Abstract class of DD specifications using scalar states.
Every implementation must have the following functions:
- int getRoot(T& state)
- int getChild(T& state, int level, int value)
Optionally, the following functions can be overloaded:
- void construct(void* p)
- void getCopy(void* p, T const& state)
- void mergeStates(T& state1, T& state2)
- size_t hashCode(T const& state) const
- bool equalTo(T const& state1, T const& state2) const
- void printLevel(std::ostream& os, int level) const
- void printState(std::ostream& os, State const& s) const
- Template Parameters
-
S the class implementing this class. T data type. AR arity of the nodes.
Definition at line 257 of file DdSpec.hpp.
The documentation for this class was generated from the following file:
- include/tdzdd/DdSpec.hpp
