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