Abstract class of DD specifications using POD array states. More...
#include <DdSpec.hpp>
Collaboration diagram for tdzdd::PodArrayDdSpec< 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::PodArrayDdSpec< S, T, AR >
Abstract class of DD specifications using POD array states.
The size of array must be set by setArraySize(int n) in the constructor and cannot be changed. If you want some arbitrary-sized data storage for states, use pointers to those storages in DdSpec instead.
Every implementation must have the following functions:
- int getRoot(T* array)
- int getChild(T* array, int level, int value)
Optionally, the following functions can be overloaded:
- void mergeStates(T* array1, T* array2)
- 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* array) const
- Template Parameters
-
S the class implementing this class. T data type of array elements. AR arity of the nodes.
Definition at line 373 of file DdSpec.hpp.
The documentation for this class was generated from the following file:
- include/tdzdd/DdSpec.hpp
