public class Automaton
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
java.util.List<NumberSystem> |
NS
Types of the inputs to this automaton.
|
java.util.List<java.lang.Integer> |
O
State Outputs.
|
int |
Q
Number of States.
|
Constructor and Description |
---|
Automaton() |
Automaton(boolean TRUE_AUTOMATON)
Initializes a special automaton: true or false.
|
Automaton(java.lang.String address)
Takes an address and constructs the automaton represented by the file referred to by the address
|
Automaton(java.lang.String regularExpression,
java.util.List<java.lang.Integer> alphabet)
Takes a regular expression and the alphabet for that regular expression and constructs the corresponding automaton.
|
Automaton(java.lang.String regularExpression,
java.util.List<java.lang.Integer> alphabet,
NumberSystem numSys) |
Modifier and Type | Method and Description |
---|---|
Automaton |
and(Automaton M) |
void |
applyAllRepresentations() |
void |
bind(java.util.List<java.lang.String> names) |
void |
bind(java.lang.String a) |
void |
bind(java.lang.String a,
java.lang.String b) |
void |
bind(java.lang.String a,
java.lang.String b,
java.lang.String c) |
void |
canonize()
Sorts states in Q based on their breadth-first order.
|
Automaton |
clone()
returns a deep copy of this automaton.
|
Automaton |
compare(Automaton W,
java.lang.String operator)
The operator can be one of "<" ">" "=" "!=" "<=" ">=".
|
void |
compare(int o,
java.lang.String operator)
The operator can be one of "<" ">" "=" "!=" "<=" ">=".
|
void |
draw(java.lang.String address,
java.lang.String predicate)
Writes down this automaton to a .gv file given by the address.
|
boolean |
equals(Automaton M) |
int |
getArity() |
java.util.List<java.lang.String> |
getLabel()
Default constructor.
|
Automaton |
iff(Automaton M) |
Automaton |
imply(Automaton M) |
boolean |
isBound() |
void |
not() |
Automaton |
or(Automaton M) |
void |
quantify(java.util.Set<java.lang.String> listOfLabelsToQuantify)
This method computes the existential quantification of this automaton.
|
void |
quantify(java.lang.String labelToQuantify) |
void |
quantify(java.lang.String labelToQuantify1,
java.lang.String labelToQuantify2,
boolean leadingZeros) |
void |
reverse()
this automaton should not be a word automaton (automaton with output).
|
Automaton |
to_dk_bricks_automaton()
Transform this automaton from Automaton to dk.bricks.automaton.Automaton.
|
void |
write(java.lang.String address)
Writes this automaton to a file given by the address.
|
Automaton |
xor(Automaton M) |
public java.util.List<NumberSystem> NS
public int Q
public java.util.List<java.lang.Integer> O
public Automaton()
public Automaton(boolean TRUE_AUTOMATON)
TRUE_AUTOMATON
- public Automaton(java.lang.String regularExpression, java.util.List<java.lang.Integer> alphabet) throws java.lang.Exception
address
- java.lang.Exception
public Automaton(java.lang.String regularExpression, java.util.List<java.lang.Integer> alphabet, NumberSystem numSys) throws java.lang.Exception
java.lang.Exception
public Automaton(java.lang.String address) throws java.lang.Exception
address
- java.lang.Exception
public java.util.List<java.lang.String> getLabel()
public Automaton clone()
clone
in class java.lang.Object
public void quantify(java.lang.String labelToQuantify) throws java.lang.Exception
java.lang.Exception
public void quantify(java.lang.String labelToQuantify1, java.lang.String labelToQuantify2, boolean leadingZeros) throws java.lang.Exception
java.lang.Exception
public void quantify(java.util.Set<java.lang.String> listOfLabelsToQuantify) throws java.lang.Exception
listOfLabelsToQuantify
- must contain at least one element. listOfLabelsToQuantify must be a subset of this.label.leadingZero
- determines which of leadingZeros or trailingZeros should be addressed after quantification.java.lang.Exception
public void reverse() throws java.lang.Exception
java.lang.Exception
public Automaton and(Automaton M) throws java.lang.Exception
M
- java.lang.Exception
public Automaton or(Automaton M) throws java.lang.Exception
M
- java.lang.Exception
public Automaton xor(Automaton M) throws java.lang.Exception
M
- java.lang.Exception
public Automaton imply(Automaton M) throws java.lang.Exception
M
- java.lang.Exception
public Automaton iff(Automaton M) throws java.lang.Exception
M
- java.lang.Exception
public void not() throws java.lang.Exception
java.lang.Exception
public boolean equals(Automaton M) throws java.lang.Exception
java.lang.Exception
public void applyAllRepresentations() throws java.lang.Exception
java.lang.Exception
public Automaton compare(Automaton W, java.lang.String operator) throws java.lang.Exception
W
- operator
- java.lang.Exception
public void compare(int o, java.lang.String operator) throws java.lang.Exception
W
- operator
- java.lang.Exception
public void write(java.lang.String address)
address
-
public void draw(java.lang.String address, java.lang.String predicate) throws java.lang.Exception
address
- java.lang.Exception
public Automaton to_dk_bricks_automaton() throws java.lang.Exception
java.lang.Exception
public void canonize()
java.lang.Exception
public void bind(java.lang.String a) throws java.lang.Exception
java.lang.Exception
public void bind(java.lang.String a, java.lang.String b) throws java.lang.Exception
java.lang.Exception
public void bind(java.lang.String a, java.lang.String b, java.lang.String c) throws java.lang.Exception
java.lang.Exception
public void bind(java.util.List<java.lang.String> names) throws java.lang.Exception
java.lang.Exception
public boolean isBound()
public int getArity()