org.uacalc.ui.util

Class GUIAlgebra

java.lang.Object

org.uacalc.ui.util.GUIAlgebra

public class GUIAlgebra
extends java.lang.Object

A data structure to hold an algebra and some related gui data.

Author:

ralph

Constructor Summary

Constructors

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.

Method Summary

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)

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

GUIAlgebra

public GUIAlgebra(SmallAlgebra alg)

GUIAlgebra

public GUIAlgebra(SmallAlgebra alg,
                  java.io.File file)

GUIAlgebra

public GUIAlgebra(SmallAlgebra alg,
                  java.io.File file,
                  java.util.List<GUIAlgebra> parents)

We should use this constructor when we want to specify the parents. For example, if we have an algebra on the GUIAlgebraList and we form a quotient algebra, the parent should be the algebra.

GUIAlgebra

public GUIAlgebra(SmallAlgebra alg,
                  java.io.File file,
                  GUIAlgebra parent)

We should use this constructor when we want to specify the parents. For example, if we have an algebra on the GUIAlgebraList and we form a quotient algebra, the parent should be the algebra.

Method Detail

getAlgebra

public SmallAlgebra getAlgebra()

setFile

public void setFile(java.io.File file)

getFile

public java.io.File getFile()

getParents

public java.util.List<GUIAlgebra> getParents()

getSerial

public int getSerial()

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

setNeedsSave

public void setNeedsSave(boolean needsSave)

needsSave

public boolean needsSave()

getSemilatticeOperataions

public java.util.List<Operation> getSemilatticeOperataions()

getCurrentLattice

public BasicLattice getCurrentLattice(boolean makeIfNull)

resetLattices

public void resetLattices()

getElemKey

public ElemKeyTableModel getElemKey()

setElemKey

public void setElemKey(ElemKeyTableModel elemKey)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

toString

public java.lang.String toString(boolean verbose)