Constant Field Values

Contents

• org.uacalc.*

org.uacalc.*

org.uacalc.alg.Algebra

public static final int	CARDINALITY_COUNTABLE	-4
public static final int	CARDINALITY_COUNTABLY_INFINITE	-5
public static final int	CARDINALITY_FINITE	-2
public static final int	CARDINALITY_INFINITE	-3
public static final int	CARDINALITY_UNKNOWN	-1

org.uacalc.alg.conlat.CongruenceLattice

public static final int	MAX_DRAWABLE_INPUT_SIZE	2500
public static final int	MAX_DRAWABLE_SIZE	150

org.uacalc.alg.conlat.Partition

public static final int	BLOCK	2
public static final int	EWK	1
public static final int	HUMAN	3
public static final int	INTERNAL	0
public static final int	SQ_BRACE_BLOCK	4

org.uacalc.alg.conlat.TypeFinder

public static final boolean

printSubtrace

true

org.uacalc.alg.sublat.SubalgebraLattice

public static final int

MAX_DRAWABLE_SIZE

100

org.uacalc.io.AlgebraReader

public static final int	BASIC	0
public static final java.lang.String	EMPTY_STRING	""
public static final int	POWER	4
public static final int	PRODUCT	1
public static final int	QUOTIENT	2
public static final int	SUBALGEBRA	3

org.uacalc.io.AlgebraWriter

public static final java.lang.String	ALG_NAME_END_TAG	"</algName>"
public static final java.lang.String	ALG_NAME_TAG	"<algName>"
public static final java.lang.String	ALGEBRA_END_TAG	"</algebra>"
public static final java.lang.String	ALGEBRA_TAG	"<algebra>"
public static final java.lang.String	ARITY_END_TAG	"</arity>"
public static final java.lang.String	ARITY_TAG	"<arity>"
public static final java.lang.String	BASIC_ALGEBRA_END_TAG	"</basicAlgebra>"
public static final java.lang.String	BASIC_ALGEBRA_TAG	"<basicAlgebra>"
public static final java.lang.String	BIG_PRODUCT_ALGEBRA_END_TAG	"</bigProductAlgebra>"
public static final java.lang.String	BIG_PRODUCT_ALGEBRA_TAG	"<bigProductAlgebra>"
public static final java.lang.String	CARDINALITY_END_TAG	"</cardinality>"
public static final java.lang.String	CARDINALITY_TAG	"<cardinality>"
public static final java.lang.String	CONGRUENCE_END_TAG	"</congruence>"
public static final java.lang.String	CONGRUENCE_TAG	"<congruence>"
public static final java.lang.String	DESC_END_TAG	"</desc>"
public static final java.lang.String	DESC_TAG	"<desc>"
public static final java.lang.String	ELEM_END_TAG	"</elem>"
public static final java.lang.String	ELEM_TAG	"<elem>"
public static final java.lang.String	FACTOR_END_TAG	"</factor>"
public static final java.lang.String	FACTOR_TAG	"<factor>"
public static final java.lang.String	FACTORS_END_TAG	"</factors>"
public static final java.lang.String	FACTORS_TAG	"<factors>"
public static final java.lang.String	FREE_ALGEBRA_END_TAG	"</freeAlgebra>"
public static final java.lang.String	FREE_ALGEBRA_TAG	"<freeAlgebra>"
public static final java.lang.String	GENERATORS_END_TAG	"</generators>"
public static final java.lang.String	GENERATORS_TAG	"<generators>"
public static final java.lang.String	INT_ARRAY_END_TAG	"</intArray>"
public static final java.lang.String	INT_ARRAY_TAG	"<intArray>"
public static final java.lang.String	OP_NAME_END_TAG	"</opName>"
public static final java.lang.String	OP_NAME_TAG	"<opName>"
public static final java.lang.String	OPERATION_END_TAG	"</op>"
public static final java.lang.String	OPERATION_SYMBOL_END_TAG	"</opSymbol>"
public static final java.lang.String	OPERATION_SYMBOL_TAG	"<opSymbol>"
public static final java.lang.String	OPERATION_TABLE_END_TAG	"</opTable>"
public static final java.lang.String	OPERATION_TABLE_TAG	"<opTable>"
public static final java.lang.String	OPERATION_TAG	"<op>"
public static final java.lang.String	OPERATIONS_END_TAG	"</operations>"
public static final java.lang.String	OPERATIONS_TAG	"<operations>"
public static final java.lang.String	PARTITION_END_TAG	"</partition>"
public static final java.lang.String	PARTITION_TAG	"<partition>"
public static final java.lang.String	POWER_ALGEBRA_END_TAG	"</powerAlgebra>"
public static final java.lang.String	POWER_ALGEBRA_TAG	"<powerAlgebra>"
public static final java.lang.String	POWER_END_TAG	"</power>"
public static final java.lang.String	POWER_TAG	"<power>"
public static final java.lang.String	POWERS_END_TAG	"</powers>"
public static final java.lang.String	POWERS_TAG	"<powers>"
public static final java.lang.String	PROD_ELEM_END_TAG	"</productElem>"
public static final java.lang.String	PROD_ELEM_TAG	"<productElem>"
public static final java.lang.String	PRODUCT_ALGEBRA_END_TAG	"</productAlgebra>"
public static final java.lang.String	PRODUCT_ALGEBRA_TAG	"<productAlgebra>"
public static final java.lang.String	QUOTIENT_ALGEBRA_END_TAG	"</quotientAlgebra>"
public static final java.lang.String	QUOTIENT_ALGEBRA_TAG	"<quotientAlgebra>"
public static final java.lang.String	ROOT_END_TAG	"</root>"
public static final java.lang.String	ROOT_FACTORS_END_TAG	"</rootFactors>"
public static final java.lang.String	ROOT_FACTORS_TAG	"<rootFactors>"
public static final java.lang.String	ROOT_TAG	"<root>"
public static final java.lang.String	STRING_ARRAY_END_TAG	"</stringArray>"
public static final java.lang.String	STRING_ARRAY_TAG	"<stringArray>"
public static final java.lang.String	SUB_ALGEBRA_END_TAG	"</subAlgebra>"
public static final java.lang.String	SUB_ALGEBRA_TAG	"<subAlgebra>"
public static final java.lang.String	SUB_PRODUCT_ALGEBRA_END_TAG	"</subProductAlgebra>"
public static final java.lang.String	SUB_PRODUCT_ALGEBRA_TAG	"<subProductAlgebra>"
public static final java.lang.String	SUB_UNIVERSE_END_TAG	"</subUniverse>"
public static final java.lang.String	SUB_UNIVERSE_TAG	"<subUniverse>"
public static final java.lang.String	SUPER_ALGEBRA_END_TAG	"</superAlgebra>"
public static final java.lang.String	SUPER_ALGEBRA_TAG	"<superAlgebra>"
public static final java.lang.String	UNIVERS_END_TAG	"</universe>"
public static final java.lang.String	UNIVERS_TAG	"<universe>"
public static final java.lang.String	UNIVERSE_END_TAG	"</universe>"
public static final java.lang.String	UNIVERSE_TAG	"<universe>"

org.uacalc.io.ExtFileFilter

public static final java.lang.String	ALG_EXT	"alg"
public static final java.lang.String	CSV_EXT	"csv"
public static final java.lang.String	UA_EXT	"ua"
public static final java.lang.String	UAC_EXT	"uac"
public static final java.lang.String	XML_EXT	"xml"

org.uacalc.nbui.DrawingController

public static final int

MAX_DRAWABLE_SIZE

100

org.uacalc.nbui.MainController

public static final java.lang.String

ALGEBRA_CHANGED

"Algebra Changed"

org.uacalc.terms.NonVariableTerm

public static final java.lang.String	COMMA	","
public static final java.lang.String	LEFT_PAR	"("
public static final java.lang.String	RIGHT_PAR	")"