DummySpace.java File Reference
(Revision: 3650)
Go to the source code of this file.
Namespaces | |
| namespace | org.gecode |
Classes | |
| class | org.gecode.DummySpace |
| Dummy space implementing the abstract functiosn of Space used for contaring Swig-pointers. More... | |