public class GUIAlgebra
extends java.lang.Object
Constructor and Description |
---|
GUIAlgebra(SmallAlgebra alg) |
GUIAlgebra(SmallAlgebra alg,
java.io.File file) |
GUIAlgebra(SmallAlgebra alg,
java.io.File file,
GUIAlgebra parent)
We should use this constructor when we want to specify the parents.
|
GUIAlgebra(SmallAlgebra alg,
java.io.File file,
java.util.List<GUIAlgebra> parents)
We should use this constructor when we want to specify the parents.
|
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object obj) |
SmallAlgebra |
getAlgebra() |
BasicLattice |
getCurrentLattice(boolean makeIfNull) |
ElemKeyTableModel |
getElemKey() |
java.io.File |
getFile() |
java.util.List<GUIAlgebra> |
getParents() |
java.util.List<Operation> |
getSemilatticeOperataions() |
int |
getSerial() |
int |
hashCode() |
boolean |
needsSave() |
void |
resetLattices() |
void |
setElemKey(ElemKeyTableModel elemKey) |
void |
setFile(java.io.File file) |
void |
setNeedsSave(boolean needsSave) |
java.lang.String |
toString() |
java.lang.String |
toString(boolean verbose) |
public GUIAlgebra(SmallAlgebra alg)
public GUIAlgebra(SmallAlgebra alg, java.io.File file)
public GUIAlgebra(SmallAlgebra alg, java.io.File file, java.util.List<GUIAlgebra> parents)
public GUIAlgebra(SmallAlgebra alg, java.io.File file, GUIAlgebra parent)
public SmallAlgebra getAlgebra()
public void setFile(java.io.File file)
public java.io.File getFile()
public java.util.List<GUIAlgebra> getParents()
public int getSerial()
public boolean equals(java.lang.Object obj)
equals
in class java.lang.Object
public int hashCode()
hashCode
in class java.lang.Object
public void setNeedsSave(boolean needsSave)
public boolean needsSave()
public java.util.List<Operation> getSemilatticeOperataions()
public BasicLattice getCurrentLattice(boolean makeIfNull)
public void resetLattices()
public ElemKeyTableModel getElemKey()
public void setElemKey(ElemKeyTableModel elemKey)
public java.lang.String toString()
toString
in class java.lang.Object
public java.lang.String toString(boolean verbose)
Copyright 2003 Ralph Freese. All Rights Reserved.