Public Types | |
typedef std::unordered_set< TupleSet > | TupleSetSet |
Hash table of tuple sets. More... | |
typedef std::unordered_set< SharedArray< int > > | IntSharedArraySet |
Hash table of shared integer arrays. More... | |
typedef std::unordered_set< DFA > | DFASet |
Hash table of DFAs. More... | |
Public Member Functions | |
FlatZincSpaceInitData (void) | |
Initialize. More... | |
Public Attributes | |
TupleSetSet | tupleSetSet |
Hash table of tuple sets. More... | |
IntSharedArraySet | intSharedArraySet |
Hash table of shared integer arrays. More... | |
DFASet | dfaSet |
Hash table of DFAs. More... | |
Definition at line 757 of file flatzinc.cpp.
typedef std::unordered_set<TupleSet> Gecode::FlatZinc::FlatZincSpaceInitData::TupleSetSet |
Hash table of tuple sets.
Definition at line 760 of file flatzinc.cpp.
typedef std::unordered_set<SharedArray<int> > Gecode::FlatZinc::FlatZincSpaceInitData::IntSharedArraySet |
Hash table of shared integer arrays.
Definition at line 765 of file flatzinc.cpp.
typedef std::unordered_set<DFA> Gecode::FlatZinc::FlatZincSpaceInitData::DFASet |
Hash table of DFAs.
Definition at line 770 of file flatzinc.cpp.
|
inline |
Initialize.
Definition at line 775 of file flatzinc.cpp.
TupleSetSet Gecode::FlatZinc::FlatZincSpaceInitData::tupleSetSet |
Hash table of tuple sets.
Definition at line 762 of file flatzinc.cpp.
IntSharedArraySet Gecode::FlatZinc::FlatZincSpaceInitData::intSharedArraySet |
Hash table of shared integer arrays.
Definition at line 767 of file flatzinc.cpp.
DFASet Gecode::FlatZinc::FlatZincSpaceInitData::dfaSet |
Hash table of DFAs.
Definition at line 772 of file flatzinc.cpp.