Java Reference
Java Reference
SolutionPool.java
Go to the documentation of this file.
44 mainJNI.SolutionPool_registerNewSolution(swigCPtr, this, Assignment.getCPtr(assignment), assignment);
48 mainJNI.SolutionPool_getNextSolution(swigCPtr, this, Assignment.getCPtr(assignment), assignment);
52 return mainJNI.SolutionPool_syncNeeded(swigCPtr, this, Assignment.getCPtr(local_assignment), local_assignment);
SolutionPool(long cPtr, boolean cMemoryOwn)
Definition: SolutionPool.java:14
void getNextSolution(Assignment assignment)
Definition: SolutionPool.java:47
void initialize(Assignment assignment)
Definition: SolutionPool.java:39
boolean syncNeeded(Assignment local_assignment)
Definition: SolutionPool.java:51
void registerNewSolution(Assignment assignment)
Definition: SolutionPool.java:43