static long |
SearchLog.getCPtr(SearchLog obj) |
static void |
mainJNI.SearchLog_AcceptUncheckedNeighbor(long jarg1,
SearchLog jarg1_) |
static void |
mainJNI.SearchLog_applyDecision(long jarg1,
SearchLog jarg1_,
long jarg2,
Decision jarg2_) |
static boolean |
mainJNI.SearchLog_atSolution(long jarg1,
SearchLog jarg1_) |
static void |
mainJNI.SearchLog_beginFail(long jarg1,
SearchLog jarg1_) |
static void |
mainJNI.SearchLog_beginInitialPropagation(long jarg1,
SearchLog jarg1_) |
static void |
mainJNI.SearchLog_endInitialPropagation(long jarg1,
SearchLog jarg1_) |
static void |
mainJNI.SearchLog_enterSearch(long jarg1,
SearchLog jarg1_) |
static void |
mainJNI.SearchLog_exitSearch(long jarg1,
SearchLog jarg1_) |
static void |
mainJNI.SearchLog_maintain(long jarg1,
SearchLog jarg1_) |
static void |
mainJNI.SearchLog_noMoreSolutions(long jarg1,
SearchLog jarg1_) |
static void |
mainJNI.SearchLog_outputDecision(long jarg1,
SearchLog jarg1_) |
static void |
mainJNI.SearchLog_refuteDecision(long jarg1,
SearchLog jarg1_,
long jarg2,
Decision jarg2_) |
static java.lang.String |
mainJNI.SearchLog_toString(long jarg1,
SearchLog jarg1_) |
static long |
SearchLog.swigRelease(SearchLog obj) |