public class OperationWithDefaultValue extends AbstractOperation
algSize, symbol, valueTable
Constructor and Description |
---|
OperationWithDefaultValue(Operation op) |
OperationWithDefaultValue(Operation op,
int algSize) |
OperationWithDefaultValue(OperationSymbol sym,
int algSize) |
OperationWithDefaultValue(OperationSymbol sym,
int algSize,
int defaultValue) |
OperationWithDefaultValue(OperationSymbol sym,
int algSize,
int[] valueTable,
int defaultValue) |
OperationWithDefaultValue(java.lang.String name,
int arity,
int algSize,
int defaultValue) |
OperationWithDefaultValue(java.lang.String name,
int arity,
int algSize,
int[] valueTable,
int defaultValue) |
Modifier and Type | Method and Description |
---|---|
int |
getDefaultValue() |
int[] |
getRandomValueTable() |
int[] |
getTotalTable()
Get the table with the default and random values filled in.
|
int |
intValueAt(int arg)
This (optional) operation is for fast access to the table,
if it exits.
|
int |
intValueAt(int[] args)
This (optional) operation is the int version.
|
boolean |
isDiagonal(int row,
int col) |
boolean |
isIdempotentSet() |
boolean |
isTotal()
Only OperationWithDefaultValue's can fail this.
|
void |
makeIdempotent() |
static java.util.List<Operation> |
makeOrdinary(java.util.List<Operation> ops) |
Operation |
makeOrdinaryOperation()
Make an operation with the default value filled in.
|
void |
makeTable()
Note this effectively kills the default value part
of this.
|
void |
setDefaultValue(int v) |
void |
setIdempotent(boolean v) |
void |
updateRandomValueTable() |
java.lang.Object |
valueAt(java.util.List args)
This operation is the element version.
|
arity, compareTo, getSetSize, getTable, getTable, isAssociative, isCommutative, isIdempotent, isMaltsev, isTableBased, isTotallySymmetric, symbol, valueAt
public OperationWithDefaultValue(Operation op)
public OperationWithDefaultValue(java.lang.String name, int arity, int algSize, int defaultValue)
public OperationWithDefaultValue(OperationSymbol sym, int algSize)
public OperationWithDefaultValue(OperationSymbol sym, int algSize, int defaultValue)
public OperationWithDefaultValue(Operation op, int algSize)
public OperationWithDefaultValue(OperationSymbol sym, int algSize, int[] valueTable, int defaultValue)
public OperationWithDefaultValue(java.lang.String name, int arity, int algSize, int[] valueTable, int defaultValue)
public void updateRandomValueTable()
public int[] getRandomValueTable()
public boolean isTotal()
Operation
isTotal
in interface Operation
isTotal
in class AbstractOperation
public int getDefaultValue()
public void setDefaultValue(int v)
public boolean isIdempotentSet()
public void setIdempotent(boolean v)
public void makeIdempotent()
public boolean isDiagonal(int row, int col)
public java.lang.Object valueAt(java.util.List args)
Operation
valueAt
in interface Operation
valueAt
in class AbstractOperation
public int intValueAt(int[] args)
Operation
intValueAt
in interface Operation
intValueAt
in class AbstractOperation
public int intValueAt(int arg)
Operation
intValueAt
in interface Operation
intValueAt
in class AbstractOperation
arg
- the Horner encoding of the actual args.public void makeTable()
makeTable
in interface Operation
makeTable
in class AbstractOperation
public int[] getTotalTable()
public Operation makeOrdinaryOperation()
Copyright 2003 Ralph Freese. All Rights Reserved.