static long |
RevPartialSequence.getCPtr(RevPartialSequence obj) |
static boolean |
mainJNI.RevPartialSequence_isRanked(long jarg1,
RevPartialSequence jarg1_,
int jarg2) |
static int |
mainJNI.RevPartialSequence_numFirstRanked(long jarg1,
RevPartialSequence jarg1_) |
static int |
mainJNI.RevPartialSequence_numLastRanked(long jarg1,
RevPartialSequence jarg1_) |
static void |
mainJNI.RevPartialSequence_rankFirst(long jarg1,
RevPartialSequence jarg1_,
long jarg2,
Solver jarg2_,
int jarg3) |
static void |
mainJNI.RevPartialSequence_rankLast(long jarg1,
RevPartialSequence jarg1_,
long jarg2,
Solver jarg2_,
int jarg3) |
static int |
mainJNI.RevPartialSequence_size(long jarg1,
RevPartialSequence jarg1_) |
static java.lang.String |
mainJNI.RevPartialSequence_toString(long jarg1,
RevPartialSequence jarg1_) |
static long |
RevPartialSequence.swigRelease(RevPartialSequence obj) |