public class ComputationsController
extends java.lang.Object
Constructor and Description |
---|
ComputationsController(UACalc uacalcUI) |
public ComputationsController(UACalc uacalcUI)
public TermTableModel getCurrentTermTableModel()
public BackgroundTask<?> getCurrentTask()
public void cancelOrRemoveCurrentTask()
public void setupFreeAlgebraTaskOld()
public void setupFreeAlgebraTask()
public BackgroundTask<FreeAlgebra> freeAlgebraTask(SmallAlgebra alg, ProgressReport report, java.lang.String desc, int gens, boolean thin, boolean decompose, TermTableModel ttm)
public int getNumberDialog(int min, java.lang.String message, java.lang.String title)
public int getFreeGensDialog()
public int getGensDialog()
public void formProd()
public void setupSubPowerTask()
public void setupJonssonTermsTask()
public void setupSDTermsTask()
public void setupMeetSDTermsTask()
public void setupGummTermsTask()
public void setupHagemannMitschkeTermsTask()
public void setupMajorityTermTask()
public void setupMinorityTermTask()
public void setupPixleyTermTask()
public void setupMalcevTermTask()
public void setupDiffTermTask()
public void setupWeak3EdgeTermTask()
public void setupMarkovicMcKenzieSiggersTaylorTermTask()
public void setupNUTermTask()
public void setupWeakNUTermTask()
public void setupEdgeTermTask()
public void setupJICongruencesTask()
public void setupCongruencesTask()
public void setupCentralityTask()
public void setupUnaryPolymorphismsTask()
public void setupBinVATask()
public void setupBinQATask()
public void setupQuasiCriticalTask()
public void setupQuasiCriticalCongruencesTask()
public void setupQuasiCriticalTask_old()
public void setupCloBinCloATask()
public void setupPrimalTermsTask()
public void setupOmittedIdealIdempotentTask()
public void setupTypeSetIdempotentTask()
public void setupCDIdempotentTask()
public void setupCMIdempotentTask()
public void setupkPermIdempotentTask()
public void setupFixedKPermIdempotentTask()
public void setupFixedkPermIdempotentTask()
public void setupkNUIdempotentTask()
public void setupMajorityIdempotentTask()
public void setupSDIdempotentTask()
public void setupSDMeetIdempotentTask()
public void setupPermIdempotentTask()
public void setupEdgeTermIdempotentTask()
public void setupFixedKEdgeTermIdempotentTask()
public void setupNUTermIdempotentTask()
public void setupCyclicTermIdempotentTask()
public void setupGenCommutivityCheckTask()
public void setupAssociativeCheckTask()
public void setupEquationCheckTask()
public void formPowerAlgebra()
public void formSubAlgebra()
public void formQuotientAlgebra()
public void setupQuotientAlgebraTask(Partition part, java.lang.String partStr)
public void formRabbitEarsAlgebra()
public void formMatrixPowerAlgebra()
Copyright 2003 Ralph Freese. All Rights Reserved.