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, setToJINoTypColNames
addTableModelListener, findColumn, fireTableCellUpdated, fireTableChanged, fireTableDataChanged, fireTableRowsDeleted, fireTableRowsInserted, fireTableRowsUpdated, fireTableStructureChanged, getListeners, getTableModelListeners, isCellEditable, removeTableModelListener, setValueAt
public 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.TableModel
getColumnName
in class javax.swing.table.AbstractTableModel
public java.lang.Class getColumnClass(int c)
getColumnClass
in interface javax.swing.table.TableModel
getColumnClass
in class javax.swing.table.AbstractTableModel
public int rowOfPartition(Partition part)
public int getRowCount()
public java.lang.Object getValueAt(int rowIndex, int columnIndex)
Copyright 2003 Ralph Freese. All Rights Reserved.