public final class ConLatticeTableModel extends LatticeTableModel
| Modifier and Type | Class and Description |
|---|---|
static class |
ConLatticeTableModel.DataType |
| Constructor and Description |
|---|
ConLatticeTableModel(SmallAlgebra alg,
ConLatticeTableModel.DataType t) |
ConLatticeTableModel(SmallAlgebra alg,
ConLatticeTableModel.DataType t,
org.latdraw.diagram.Diagram diagram) |
| Modifier and Type | Method and Description |
|---|---|
int |
findIndex(Partition par,
org.latdraw.diagram.Vertex[] verts) |
java.lang.Class |
getColumnClass(int c) |
java.lang.String |
getColumnName(int col) |
java.util.List<Partition> |
getElementList() |
int |
getRowCount() |
java.lang.Object |
getValueAt(int rowIndex,
int columnIndex) |
int |
rowOfPartition(Partition part) |
void |
sortElemsByDiagram(org.latdraw.diagram.Diagram diagram) |
getAlgebra, getAllColNames, getAllNoTypColNames, getColNames, getColumnCount, getJIColNames, getJINoTypColNames, setAlgebra, setColNames, setToAllColNames, setToAllNoTypColNames, setToJIColNames, setToJINoTypColNamesaddTableModelListener, findColumn, fireTableCellUpdated, fireTableChanged, fireTableDataChanged, fireTableRowsDeleted, fireTableRowsInserted, fireTableRowsUpdated, fireTableStructureChanged, getListeners, getTableModelListeners, isCellEditable, removeTableModelListener, setValueAtpublic ConLatticeTableModel(SmallAlgebra alg, ConLatticeTableModel.DataType t, org.latdraw.diagram.Diagram diagram)
public ConLatticeTableModel(SmallAlgebra alg, ConLatticeTableModel.DataType t)
public void sortElemsByDiagram(org.latdraw.diagram.Diagram diagram)
public int findIndex(Partition par, org.latdraw.diagram.Vertex[] verts)
public java.util.List<Partition> getElementList()
public java.lang.String getColumnName(int col)
getColumnName in interface javax.swing.table.TableModelgetColumnName in class javax.swing.table.AbstractTableModelpublic java.lang.Class getColumnClass(int c)
getColumnClass in interface javax.swing.table.TableModelgetColumnClass in class javax.swing.table.AbstractTableModelpublic int rowOfPartition(Partition part)
public int getRowCount()
public java.lang.Object getValueAt(int rowIndex,
int columnIndex)
Copyright 2003 Ralph Freese. All Rights Reserved.