- Gecode
- FlatZinc
- FlatZincSpaceInitData

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 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.