public class DFATable extends java.lang.Object
private java.util.Vector<DFARow>
m_table
DFATable()
private
DFATable(DFATable other)
void
add(DFARow row)
DFATable
clone()
int[]
getAccepts()
DFARow
getRow(int i)
DFARow[]
getRows()
int
size()
equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
private final java.util.Vector<DFARow> m_table
public DFATable()
private DFATable(DFATable other)
public void add(DFARow row)
public int[] getAccepts()
public int size()
public DFARow getRow(int i)
public DFARow[] getRows()
public DFATable clone()
clone
java.lang.Object