public class XPRBbasis extends java.lang.Object implements java.lang.AutoCloseable
void
close()
boolean
isValid()
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
public void close()
close
java.lang.AutoCloseable
public boolean isValid()
XPRBbasis bs1; if(bs1.isValid() == false) System.out.println("Error in basis definition.");