Package | Description |
---|---|
Automata | |
Main | |
Token |
Modifier and Type | Field and Description |
---|---|
Automaton |
NumberSystem.addition
Automata for addition, lessThan, and equal
-addition has three inputs, and it accepts iff the third is the sum of the first two. |
Automaton |
NumberSystem.allRepresentations
Automata for addition, lessThan, and equal
-addition has three inputs, and it accepts iff the third is the sum of the first two. |
Automaton |
NumberSystem.equality
Automata for addition, lessThan, and equal
-addition has three inputs, and it accepts iff the third is the sum of the first two. |
Automaton |
NumberSystem.lessThan
Automata for addition, lessThan, and equal
-addition has three inputs, and it accepts iff the third is the sum of the first two. |
Modifier and Type | Method and Description |
---|---|
Automaton |
Automaton.and(Automaton M) |
Automaton |
NumberSystem.arithmetic(int a,
java.lang.String b,
java.lang.String c,
java.lang.String arithmeticOperator) |
Automaton |
NumberSystem.arithmetic(java.lang.String a,
int b,
java.lang.String c,
java.lang.String arithmeticOperator) |
Automaton |
NumberSystem.arithmetic(java.lang.String a,
java.lang.String b,
java.lang.String c,
java.lang.String arithmeticOperator) |
Automaton |
Automaton.clone()
returns a deep copy of this automaton.
|
Automaton |
Automaton.compare(Automaton W,
java.lang.String operator)
The operator can be one of "<" ">" "=" "!=" "<=" ">=".
|
Automaton |
NumberSystem.comparison(int a,
java.lang.String b,
java.lang.String comparisonOperator) |
Automaton |
NumberSystem.comparison(java.lang.String a,
int b,
java.lang.String comparisonOperator) |
Automaton |
NumberSystem.comparison(java.lang.String a,
java.lang.String b,
java.lang.String comparisonOperator) |
Automaton |
NumberSystem.get(int n) |
Automaton |
NumberSystem.getAllRepresentations() |
Automaton |
NumberSystem.getDivision(int n) |
Automaton |
NumberSystem.getMultiplication(int n) |
Automaton |
Automaton.iff(Automaton M) |
Automaton |
Automaton.imply(Automaton M) |
Automaton |
Automaton.or(Automaton M) |
Automaton |
Automaton.xor(Automaton M) |
Modifier and Type | Method and Description |
---|---|
Automaton |
Automaton.and(Automaton M) |
Automaton |
Automaton.compare(Automaton W,
java.lang.String operator)
The operator can be one of "<" ">" "=" "!=" "<=" ">=".
|
boolean |
Automaton.equals(Automaton M) |
Automaton |
Automaton.iff(Automaton M) |
Automaton |
Automaton.imply(Automaton M) |
Automaton |
Automaton.or(Automaton M) |
Automaton |
Automaton.xor(Automaton M) |
Modifier and Type | Field and Description |
---|---|
Automaton |
Expression.M |
Automaton |
Expression.W |
Modifier and Type | Method and Description |
---|---|
static Automaton |
prover.dispatchForIntegrationTest(java.lang.String s) |
static Automaton |
prover.eval_def_commands(java.lang.String s) |
Automaton |
Computer.getTheFinalResult() |
static Automaton |
prover.regCommand(java.lang.String s) |
Constructor and Description |
---|
Expression(java.lang.String expressionInString,
Automaton M) |
Expression(java.lang.String expressionInString,
Automaton W,
Automaton M,
java.util.List<java.lang.String> quantify) |
Expression(java.lang.String expressionInString,
Automaton M,
java.lang.String identifier) |
TestCase(java.lang.String command,
Automaton result,
java.lang.String error) |
Constructor and Description |
---|
Function(int position,
java.lang.String name,
Automaton A,
int number_of_arguments) |
Word(int position,
java.lang.String name,
Automaton W,
int number_of_indices) |