public class XPRBindexSet
extends java.lang.Object
| Modifier and Type | Method and Description |
|---|---|
int |
addElement(java.lang.String name)
Add an index to an index set.
|
int |
getIndex(java.lang.String name)
Get the index number of an index.
|
java.lang.String |
getIndexName(int i)
Get the name of an index.
|
java.lang.String |
getName()
Get the name of an index set.
|
int |
getSize()
Get the size of an index set.
|
boolean |
isValid()
Test whether an index set is correctly defined.
|
void |
print()
Print out an index set.
|
java.lang.String |
toString() |
public boolean isValid()
XPRBindexSet iset;
if(iset.isValid() == false)
System.out.println("Error in index set definition.");
public java.lang.String getName()
XPRBprob expl2;
XPRBindexSet iset;
String name;
expl2 = new XPRBprob("example2");
iset = expl2.newIndexSet("Set",100);
name = iset.getName();
null otherwisepublic int getSize()
XPRBprob expl2;
XPRBindexSet iset;
int size;
expl2 = new XPRBprob("example2");
iset = expl2.newIndexSet("Set",100);
size = iset.getSize();
-1
in case of an errorpublic int addElement(java.lang.String name)
XPRBprob expl2;
XPRBindexSet iset;
int val;
expl2 = new XPRBprob("example2");
iset = expl2.newIndexSet("Set",100);
val = iset.addElement("first");
name - name of the index to be added to the set-1
in case of an errorpublic int getIndex(java.lang.String name)
XPRBprob expl2;
XPRBindexSet iset;
int val;
expl2 = new XPRBprob("example2");
iset = expl2.newIndexSet("Set",100);
iset.addElement("first");
val = iset.getIndex("first");
name - name of an index in the set-1 if
not containedpublic java.lang.String getIndexName(int i)
XPRBprob expl2;
XPRBindexSet iset;
String name;
expl2 = new XPRBprob("example2");
iset = expl2.newIndexSet("Set",100);
iset.addElement("first");
name = iset.getIndexName(0);
i - index numbernull otherwisepublic void print()
XPRBprob expl2;
XPRBindexSet iset;
expl2 = new XPRBprob("example2");
iset = expl2.newIndexSet("Set",100);
iset.print();
public java.lang.String toString()
toString in class java.lang.ObjectgetName()