org.uacalc.nbui
Class AlgebraEditorController

java.lang.Object
  org.uacalc.nbui.AlgebraEditorController

public class AlgebraEditorController
extends java.lang.Object

Nested Class Summary

static interface

AlgebraEditorController.OpSymItem A cute hack to get the toString method of an OperationSymbol to put the arity in parentheses.

Constructor Summary

AlgebraEditorController(UACalc uacalc)

Method Summary

void	addOp()
void	defaultEltChangeHandler()
void	deleteOp()
int	getArityDialog()
int	getCardDialog()
OperationWithDefaultValue	getCurrentOperation()
OperationSymbol	getCurrentSymbol()
java.util.Random	getRandom()
void	makeNewAlgebra()
void	removeCurrentOperation()
void	setAlgebra(org.uacalc.ui.util.GUIAlgebra gAlg) Make an algebra from the operations.
void	setCurrentOp()
void	setIdempotent(boolean v)
void	setOperationTable(OperationInputTable table)
void	setRandomSeed(long seed)
java.lang.String	updateDescription()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

AlgebraEditorController

public AlgebraEditorController(UACalc uacalc)

Method Detail

setCurrentOp

public void setCurrentOp()

defaultEltChangeHandler

public void defaultEltChangeHandler()

deleteOp

public void deleteOp()

addOp

public void addOp()

getRandom

public java.util.Random getRandom()

setRandomSeed

public void setRandomSeed(long seed)

updateDescription

public java.lang.String updateDescription()

getCurrentSymbol

public OperationSymbol getCurrentSymbol()

getCurrentOperation

public OperationWithDefaultValue getCurrentOperation()

removeCurrentOperation

public void removeCurrentOperation()

setOperationTable

public void setOperationTable(OperationInputTable table)

makeNewAlgebra

public void makeNewAlgebra()

setIdempotent

public void setIdempotent(boolean v)

setAlgebra

public void setAlgebra(org.uacalc.ui.util.GUIAlgebra gAlg)

Make an algebra from the operations.

getArityDialog

public int getArityDialog()

getCardDialog

public int getCardDialog()