public class Basis
extends java.lang.Object
Constructor and Description |
---|
Basis(java.lang.String[] occs,
java.lang.String[] basis) |
Basis(java.lang.String[] occs,
java.lang.String[][] basis) |
Basis(java.lang.String occsfile,
java.lang.String basefile) |
Modifier and Type | Method and Description |
---|---|
boolean |
add(java.lang.String occurrence) |
void |
dumpBasis() |
boolean |
isDisabled(java.lang.String occurrence) |
boolean |
remove(java.lang.String occurrence) |