Public Types | |
typedef std::unordered_set< TupleSet > | TupleSetSet |
Hash table of tuple sets. | |
typedef std::unordered_set< SharedArray< int > > | IntSharedArraySet |
Hash table of shared integer arrays. | |
typedef std::unordered_set< DFA > | DFASet |
Hash table of DFAs. |
Public Member Functions | |
FlatZincSpaceInitData (void) | |
Initialize. |
Public Attributes | |
TupleSetSet | tupleSetSet |
Hash table of tuple sets. | |
IntSharedArraySet | intSharedArraySet |
Hash table of shared integer arrays. | |
DFASet | dfaSet |
Hash table of DFAs. |
Definition at line 753 of file flatzinc.cpp.
typedef std::unordered_set<TupleSet> Gecode::FlatZinc::FlatZincSpaceInitData::TupleSetSet |
Hash table of tuple sets.
Definition at line 756 of file flatzinc.cpp.
typedef std::unordered_set<SharedArray<int> > Gecode::FlatZinc::FlatZincSpaceInitData::IntSharedArraySet |
Hash table of shared integer arrays.
Definition at line 761 of file flatzinc.cpp.
typedef std::unordered_set<DFA> Gecode::FlatZinc::FlatZincSpaceInitData::DFASet |
Hash table of DFAs.
Definition at line 766 of file flatzinc.cpp.
|
inline |
Initialize.
Definition at line 771 of file flatzinc.cpp.
TupleSetSet Gecode::FlatZinc::FlatZincSpaceInitData::tupleSetSet |
Hash table of tuple sets.
Definition at line 758 of file flatzinc.cpp.
IntSharedArraySet Gecode::FlatZinc::FlatZincSpaceInitData::intSharedArraySet |
Hash table of shared integer arrays.
Definition at line 763 of file flatzinc.cpp.
DFASet Gecode::FlatZinc::FlatZincSpaceInitData::dfaSet |
Hash table of DFAs.
Definition at line 768 of file flatzinc.cpp.