public class RevPartialSequence
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
protected boolean |
swigCMemOwn |
Constructor and Description |
---|
RevPartialSequence(int size) |
RevPartialSequence(int[] items) |
RevPartialSequence(long cPtr,
boolean cMemoryOwn) |
Modifier and Type | Method and Description |
---|---|
void |
delete() |
protected void |
finalize() |
static long |
getCPtr(RevPartialSequence obj) |
boolean |
isRanked(int elt) |
int |
numFirstRanked() |
int |
numLastRanked() |
void |
rankFirst(Solver solver,
int elt) |
void |
rankLast(Solver solver,
int elt) |
int |
size() |
static long |
swigRelease(RevPartialSequence obj) |
java.lang.String |
toString() |
public RevPartialSequence(long cPtr, boolean cMemoryOwn)
public RevPartialSequence(int[] items)
public RevPartialSequence(int size)
public static long getCPtr(RevPartialSequence obj)
public static long swigRelease(RevPartialSequence obj)
protected void finalize()
finalize
in class java.lang.Object
public void delete()
public int numFirstRanked()
public int numLastRanked()
public int size()
public void rankFirst(Solver solver, int elt)
public void rankLast(Solver solver, int elt)
public boolean isRanked(int elt)
public java.lang.String toString()
toString
in class java.lang.Object
Copyright © 2025. All rights reserved.