UACalc uacalc
Algebra algebra
int numAlgs
javax.swing.JTextField nameField
javax.swing.JTextField cardField
javax.swing.JTextField simTypeField
javax.swing.JTextField descField
javax.swing.JScrollBar scrollBar
javax.swing.JLabel numAlgsLabel
LatDrawer.RadioButtonType aboveType
LatDrawer.RadioButtonType belowType
org.latdraw.beans.DrawPanel drawPanel
javax.swing.JPanel mainPanel
javax.swing.JToolBar toolBar
UACalc uacalc
BasicLattice lattice
org.latdraw.diagram.Vertex selectedElem
java.util.List<E> selectedElemList
javax.swing.JButton addOpButton
javax.swing.JMenuItem algFileMI
javax.swing.JTable algListTable
javax.swing.JTextField algNameTextField
javax.swing.JPanel algebrasPanel
javax.swing.JMenuItem builtInAlgsMI
javax.swing.JButton cancelCompButton
javax.swing.JTextField cardTextField
javax.swing.JButton clearLogButton
javax.swing.JPanel computationsLogPane
javax.swing.JPanel computationsPanel
javax.swing.JTable computationsTable
javax.swing.JButton conDiagButton
javax.swing.JPanel conLeftPanel
javax.swing.JPanel conMainPanel
javax.swing.JPanel conPanel
javax.swing.JButton conTableButton
javax.swing.JPanel currentAlgPanel
javax.swing.JComboBox<E> defaultEltComboBox
javax.swing.JButton delAlg
javax.swing.JButton delOpButton
javax.swing.JTextField descTextField
javax.swing.JMenuItem distributivityMI
javax.swing.JMenuItem semidistributivityMI
javax.swing.JMenuItem meetSemidistributivityMI
javax.swing.JMenuItem drawAlgMI
javax.swing.JMenuItem drawConMI
javax.swing.JMenuItem drawSubMI
javax.swing.JPanel drawingLeftPanel
javax.swing.JPanel drawingMainPanel
javax.swing.JMenu drawingMenu
javax.swing.JPanel drawingPanel
javax.swing.JPanel editorPanel
javax.swing.JMenu editMenu
javax.swing.JTable elemKeyTable
javax.swing.JScrollPane elemKeyScrollPane
javax.swing.JMenu fileMenu
javax.swing.JMenuItem freeAlgMI
javax.swing.JMenu helpMenu
javax.swing.JMenuItem helpInstructionsMI
javax.swing.JMenuItem helpAlgorithmsMI
javax.swing.JMenuItem helpDescriptionMI
javax.swing.JMenu hspMenu
javax.swing.JCheckBox idempotentCB
javax.swing.JLabel jLabel1
javax.swing.JLabel jLabel2
javax.swing.JLabel jLabel3
javax.swing.JLabel jLabel4
javax.swing.JLabel jLabel5
javax.swing.JLabel jLabel6
javax.swing.JMenuBar jMenuBar1
javax.swing.JScrollPane jScrollPane1
javax.swing.JScrollPane jScrollPane2
javax.swing.JScrollPane jScrollPane3
javax.swing.JScrollPane jScrollPane4
javax.swing.JScrollPane jScrollPane5
javax.swing.JTabbedPane jTabbedPane1
javax.swing.JTable jTable1
javax.swing.JToolBar jToolBar1
javax.swing.JTextArea logTextArea
javax.swing.JMenuItem majorityMI
javax.swing.JMenuItem minorityMI
javax.swing.JButton makeBasicAlgButton
javax.swing.JMenuItem maltsevMI
javax.swing.JMenu maltsevMenu
javax.swing.JMenuItem membershipTestMI
javax.swing.JMenuItem qmembershipTestMI
javax.swing.JMenu taylorTermMenu
javax.swing.JMenuItem mmstMI
javax.swing.JMenuItem w3edgeTermMI
javax.swing.JMenuItem modularityMI
javax.swing.JTextField msgTextField
javax.swing.JMenuItem nPermMI
javax.swing.JButton newAlgButton
javax.swing.JMenuItem newMI
javax.swing.JMenuItem nuMI
javax.swing.JMenuItem wnuMI
javax.swing.JMenuItem edgeMI
javax.swing.JMenuItem diffTermMI
javax.swing.JTable opTable
javax.swing.table.TableModel emptyOpTableModel
javax.swing.JScrollPane opTableScrollPane
javax.swing.JButton openButton
javax.swing.JMenuItem openMI
javax.swing.JComboBox<E> opsComboBox
javax.swing.JMenuItem pixleyMI
javax.swing.JMenuItem powMI
javax.swing.JMenuItem matrixPowMI
javax.swing.JMenuItem primalMI
javax.swing.JMenuItem quasiCriticalMI
javax.swing.JMenuItem quasiCriticalCongruencesMI
javax.swing.JMenuItem prodMI
javax.swing.JMenuItem quitMI
javax.swing.JMenuItem quotMI
javax.swing.JMenuItem rabbitEarsMI
javax.swing.JLabel resultDescLabel
javax.swing.JPanel resultPane
javax.swing.JTable resultTable
javax.swing.JTextField resultTextField
javax.swing.JMenu saveAsMenu
javax.swing.JMenuItem saveMI
javax.swing.JPanel subLeftPanel
javax.swing.JMenuItem subMI
javax.swing.JPanel subMainPanel
javax.swing.JPanel subPanel
javax.swing.JMenuItem subPowerMI
javax.swing.JMenuItem subpowMI
javax.swing.JTabbedPane tabbedPane
javax.swing.JMenuItem tableCSVMI
javax.swing.JMenuItem logTextAreaMI
javax.swing.JMenu tasksMenu
javax.swing.JMenuItem uaFileMI
javax.swing.JMenu varPropIdemMenu
javax.swing.JMenuItem omittedIdealMI
javax.swing.JMenuItem typeSetMI
javax.swing.JMenuItem CDIdempotentMI
javax.swing.JMenuItem CMIdempotentMI
javax.swing.JMenuItem kPermIdempotentMI
javax.swing.JMenuItem fixedKPermIdempotentMI
javax.swing.JMenuItem kNUIdempotentMI
javax.swing.JMenuItem majorityIdempotentMI
javax.swing.JMenuItem minorityIdempotentMI
javax.swing.JMenuItem sdIdempotentMI
javax.swing.JMenuItem sdMeetIdempotentMI
javax.swing.JMenuItem permIdempotentMI
javax.swing.JMenuItem cyclicTermIdempotentMI
javax.swing.JMenuItem nuTermIdempotentMI
javax.swing.JMenuItem edgeTermIdempotentMI
javax.swing.JMenuItem fixedKEdgeTermIdempotentMI
javax.swing.JMenu equationsMenu
javax.swing.JMenuItem equationCheckerMI
javax.swing.JMenuItem assocCheckerMI
javax.swing.JMenuItem commutivityCheckerMI
MainController actions
int frameWidth
int frameHeight
MainController actions
javax.swing.JButton addOpButton
javax.swing.JMenuItem algFileMI
javax.swing.JTable algListTable
javax.swing.JTextField algNameTextField
javax.swing.JPanel algebrasPanel
javax.swing.JMenuItem builtInAlgsMI
javax.swing.JButton cancelCompButton
javax.swing.JTextField cardTextField
javax.swing.JButton clearLogButton
javax.swing.JPanel computationsLogPane
javax.swing.JPanel computationsPanel
javax.swing.JTable computationsTable
javax.swing.JButton conDiagButton
javax.swing.JPanel conLeftPanel
javax.swing.JPanel conMainPanel
javax.swing.JPanel conPanel
javax.swing.JButton conTableButton
javax.swing.JPanel currentAlgPanel
javax.swing.JComboBox<E> defaultEltComboBox
javax.swing.JButton delAlg
javax.swing.JButton delOpButton
javax.swing.JTextField descTextField
javax.swing.JMenuItem distributivityMI
javax.swing.JMenuItem drawAlgMI
javax.swing.JMenuItem drawConMI
javax.swing.JMenuItem drawSubMI
javax.swing.JPanel drawingLeftPanel
javax.swing.JPanel drawingMainPanel
javax.swing.JMenu drawingMenu
javax.swing.JPanel drawingPanel
javax.swing.JMenu editMenu
javax.swing.JPanel editorPanel
javax.swing.JMenu fileMenu
javax.swing.JMenuItem freeAlgMI
javax.swing.JMenu hspMenu
javax.swing.JCheckBox idempotentCB
javax.swing.JLabel jLabel1
javax.swing.JLabel jLabel2
javax.swing.JLabel jLabel3
javax.swing.JLabel jLabel4
javax.swing.JLabel jLabel5
javax.swing.JLabel jLabel6
javax.swing.JMenuBar jMenuBar1
javax.swing.JPanel jPanel1
javax.swing.JPanel jPanel2
javax.swing.JPanel jPanel3
javax.swing.JPanel jPanel4
javax.swing.JPanel jPanel5
javax.swing.JPanel jPanel6
javax.swing.JScrollPane jScrollPane1
javax.swing.JScrollPane jScrollPane2
javax.swing.JScrollPane jScrollPane3
javax.swing.JScrollPane jScrollPane4
javax.swing.JScrollPane jScrollPane5
javax.swing.JTabbedPane jTabbedPane1
javax.swing.JTable jTable1
javax.swing.JToolBar jToolBar1
javax.swing.JTextArea logTextArea
javax.swing.JMenuItem majorityMI
javax.swing.JMenuItem maltsevMI
javax.swing.JMenu maltsevMenu
javax.swing.JMenuItem membershipTestMI
javax.swing.JMenuItem mmstMI
javax.swing.JMenuItem modularityMI
javax.swing.JTextField msgTextField
javax.swing.JMenuItem nPermMI
javax.swing.JButton newAlgButton
javax.swing.JMenuItem newMI
javax.swing.JMenuItem nuMI
javax.swing.JTable opTable
javax.swing.JScrollPane opTableScrollPane
javax.swing.JButton openButton
javax.swing.JMenuItem openMI
javax.swing.JComboBox<E> opsComboBox
javax.swing.JMenuItem pixleyMI
javax.swing.JMenuItem powMI
javax.swing.JMenuItem primalMI
javax.swing.JMenuItem prodMI
javax.swing.JMenuItem quitMI
javax.swing.JMenuItem quotMI
javax.swing.JLabel resultDescLabel
javax.swing.JPanel resultPane
javax.swing.JTable resultTable
javax.swing.JTextField resultTextField
javax.swing.JMenu saveAsMenu
javax.swing.JMenuItem saveMI
javax.swing.JPanel subLeftPanel
javax.swing.JMenuItem subMI
javax.swing.JPanel subMainPanel
javax.swing.JPanel subPanel
javax.swing.JMenuItem subPowerMI
javax.swing.JMenuItem subpowMI
javax.swing.JTabbedPane tabbedPane
javax.swing.JMenuItem tableCSVMI
javax.swing.JMenu tasksMenu
javax.swing.JMenuItem uaFileMI
UACalculator uacalc
int card
java.lang.String algName
java.lang.String desc
int algSize
java.util.List<E> opList
java.util.List<E> symbolList
java.util.Map<K,V> opMap
javax.swing.JPanel main
javax.swing.JToolBar toolBar
javax.swing.JTextField name_tf
javax.swing.JTextField card_tf
javax.swing.JTextField desc_tf
javax.swing.JComboBox<E> ops_cb
OperationInputTable opTablePanel
java.lang.String algName
int card
java.lang.String desc
UACalculator uacalc
javax.swing.JToolBar toolBar
javax.swing.JPanel main
MonitorPanel monitorPanel
TermTablePanel termTablePanel
java.lang.String currentFolder
org.latdraw.beans.DrawPanel drawPanel
javax.swing.JPanel mainPanel
javax.swing.JPanel appPanel
javax.swing.JScrollPane objScrollPane
javax.swing.JScrollPane attScrollPane
javax.swing.JToolBar toolBar
org.latdraw.beans.DrawPanel drawPanel
javax.swing.JPanel mainPanel
javax.swing.JPanel appPanel
javax.swing.JScrollPane objScrollPane
javax.swing.JScrollPane attScrollPane
javax.swing.JToolBar toolBar
UACalculator uacalc
UACalculator uacalc
ProgressReport report
javax.swing.JTextArea logArea
javax.swing.JTextField passField
javax.swing.JTextField sizeField
javax.swing.JTextField descField
javax.swing.JTextField passSizeField
TaskTableModel model
javax.swing.JTable taskTable
UACalculator uacalc
java.lang.String name
int card
java.lang.String desc
javax.swing.JTextField name_tf
javax.swing.JTextField card_tf
javax.swing.JTextField desc_tf
int EDITOR_INDEX
int CONSTRUCTIONS_INDEX
int COMPUTATIONS_INDEX
int PROPERTIES_INDEX
int DRAWING_INDEX
UACalculator uacalc
AlgebraEditor algebraEditor
LatDrawPanel latticeDrawer
ComputationsPanel computationsPanel
boolean dirty
SmallAlgebra currentAalgebra
java.util.List<E> algebraList
java.io.File currentFile
java.lang.String title
java.lang.String progName
java.lang.String currentFolder
javax.swing.JSplitPane splitPane
javax.swing.JPanel mainPanel
AlgebraTablePanel bottomPanel
LatDrawPanel latDrawPanel
MonitorPanel monitorPanel
Tabs tabs
javax.swing.JToolBar toolBar
java.util.Random random
javax.swing.JCheckBoxMenuItem showDiagLabelsCB
GUIAlgebraList algebraList
javax.swing.JTable table
AlgebraTableModel algTableModel
ConLatticeTableModel.DataType dType
int rowCount
java.util.List<E> elems
java.util.List<E> univ
java.util.List<E> principals
java.util.List<E> joinIrreds
java.util.Set<E> joinIrredsSet
Term[] terms
java.util.List<E> universeList
GUIAlgebra gAlg
SmallAlgebra alg
SmallAlgebra.AlgebraType algType
javax.swing.JFormattedTextField ftf
java.text.NumberFormat integerFormat
java.lang.Integer minimum
java.lang.Integer maximum
boolean DEBUG
java.lang.String[] colNames
SmallAlgebra algebra
javax.swing.JTable table
UACalculator uacalc
OperationTableModel tableModel
int arity
int setSize
javax.swing.JComboBox<E> defaultValueComboBox
OperationWithDefaultValue op
OperationSymbol opSym
int[] valueTable
int[][] leftArgsTable
java.lang.String[] rowNames
int arity
int setSize
java.util.List<E> tasks
BackgroundTask<V> currentTask
java.lang.String[] colNames
Term[] terms
Variable[] variables
java.util.List<E> universeList
java.util.List<E> congrList
java.util.List<E> centralityList
java.lang.String description
TermTableModel.ResultTableType type
UACalculator uacalc
javax.swing.JTable table
Term[] terms
java.util.List<E> variables
private void readObject(java.io.ObjectInputStream s) throws java.io.IOException, java.lang.ClassNotFoundException
java.io.IOException
java.lang.ClassNotFoundException
private void writeObject(java.io.ObjectOutputStream s) throws java.io.IOException
The serialized data is an int array followed by a HashMap. The int array a encodes the structure as follows. Suppose a certain node was accessed as above by handles 3, 8, and 12. Then a[8] = a[12] = 3. For all i except these second time handles, a[i] is
java.io.IOException
Copyright 2003 Ralph Freese. All Rights Reserved.