|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectde.cau.cs.kieler.krep.compiler.ceq.Automaton
public class Automaton
Implement automaton as part of clocked equations. An automaton contains other automata and dataflow equations.
Constructor Summary | |
---|---|
Automaton(String n)
Generate an empty automaton. |
Method Summary | |
---|---|
void |
add(State s)
Add a new state to the automaton. |
LinkedList<AbstractInstruction> |
compile(int prioOffset)
Compile an automaton into KLP assembler. |
LinkedList<AbstractInstruction> |
compileInit(boolean setInputs,
boolean setOutputs,
int prioOffset)
Generate initialization code for the klp, which initializes the registers. |
DepGraph |
getDepGraph()
Get the dependency graph from the initial state. |
LinkedList<Variable> |
getInputs()
Get all inputs for the automaton. |
String |
getName()
Get name of the automaton. |
LinkedList<Variable> |
getOutputs()
Get all output signals for the automaton. |
void |
propagateConst()
propagate constant values in equations. |
void |
replace(HashMap<String,Variable> equiv)
Replace a Variable by another, equivalent variable. |
void |
setIO()
Extract io of the automaton from the initial state. |
void |
simplify()
simply the automaton by simplifying each state. |
String |
toString()
|
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public Automaton(String n)
n
- name of the automatonMethod Detail |
---|
public LinkedList<Variable> getInputs()
public LinkedList<Variable> getOutputs()
public String getName()
public String toString()
toString
in class Object
public void add(State s)
s
- the new statepublic LinkedList<AbstractInstruction> compile(int prioOffset)
prioOffset
- minimal priority that can be used
public void propagateConst()
public void simplify()
public void setIO()
public LinkedList<AbstractInstruction> compileInit(boolean setInputs, boolean setOutputs, int prioOffset)
setInputs
- should input registered be initialized?setOutputs
- should output registered be initialized?prioOffset
- minimal priority that can be used.
public DepGraph getDepGraph()
public void replace(HashMap<String,Variable> equiv)
equiv
- map of equivalent variables
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |