public class NumberSystem
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
Automaton |
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 |
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 |
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 |
lessThan
Automata for addition, lessThan, and equal
-addition has three inputs, and it accepts iff the third is the sum of the first two. |
Constructor and Description |
---|
NumberSystem(java.lang.String name) |
Modifier and Type | Method and Description |
---|---|
Automaton |
arithmetic(int a,
java.lang.String b,
java.lang.String c,
java.lang.String arithmeticOperator) |
Automaton |
arithmetic(java.lang.String a,
int b,
java.lang.String c,
java.lang.String arithmeticOperator) |
Automaton |
arithmetic(java.lang.String a,
java.lang.String b,
java.lang.String c,
java.lang.String arithmeticOperator) |
Automaton |
comparison(int a,
java.lang.String b,
java.lang.String comparisonOperator) |
Automaton |
comparison(java.lang.String a,
int b,
java.lang.String comparisonOperator) |
Automaton |
comparison(java.lang.String a,
java.lang.String b,
java.lang.String comparisonOperator) |
Automaton |
get(int n) |
Automaton |
getAllRepresentations() |
java.util.List<java.lang.Integer> |
getAlphabet() |
Automaton |
getDivision(int n) |
Automaton |
getMultiplication(int n) |
boolean |
isMsd() |
boolean |
should_we_use_allRepresentations() |
java.lang.String |
toString() |
public Automaton addition
public Automaton lessThan
public Automaton equality
public Automaton allRepresentations
public NumberSystem(java.lang.String name) throws java.lang.Exception
java.lang.Exception
public boolean isMsd()
public boolean should_we_use_allRepresentations()
public java.util.List<java.lang.Integer> getAlphabet()
public Automaton getAllRepresentations()
public Automaton get(int n) throws java.lang.Exception
n
- java.lang.Exception
public Automaton getDivision(int n) throws java.lang.Exception
java.lang.Exception
public Automaton getMultiplication(int n) throws java.lang.Exception
java.lang.Exception
public java.lang.String toString()
toString
in class java.lang.Object
public Automaton comparison(java.lang.String a, java.lang.String b, java.lang.String comparisonOperator) throws java.lang.Exception
a
- b
- comparisonOperator
- can be any of "<",">","<=",">=","=","!="java.lang.Exception
public Automaton comparison(java.lang.String a, int b, java.lang.String comparisonOperator) throws java.lang.Exception
a
- b
- a non negative integercomparisonOperator
- can be any of "<",">","<=",">=","=","!="java.lang.Exception
public Automaton comparison(int a, java.lang.String b, java.lang.String comparisonOperator) throws java.lang.Exception
a
- a non negative integerb
- comparisonOperator
- can be any of "<",">","<=",">=","=","!="java.lang.Exception
public Automaton arithmetic(java.lang.String a, java.lang.String b, java.lang.String c, java.lang.String arithmeticOperator) throws java.lang.Exception
a
- b
- c
- arithmeticOperator
- can be any of "+", "-","*","/"java.lang.Exception
public Automaton arithmetic(java.lang.String a, int b, java.lang.String c, java.lang.String arithmeticOperator) throws java.lang.Exception
a
- b
- a non-negative integerc
- arithmeticOperator
- can be any of "+","-","*","/"java.lang.Exception
public Automaton arithmetic(int a, java.lang.String b, java.lang.String c, java.lang.String arithmeticOperator) throws java.lang.Exception
a
- a non-negative integerb
- c
- arithmeticOperator
- can be any of "+","-","*","/"java.lang.Exception