TheCloud/Digital
1
0
Fork 0
mirror of https://github.com/hneemann/Digital.git synced 2025-09-19 01:44:44 -04:00
Code Issues Packages Projects Releases Wiki Activity

Renamed the state variable in FSM truth table creator.

Browse Source
This commit is contained in:
hneemann 2019-07-24 08:49:42 +02:00
parent f1f4f3c191
commit c88b4beac7
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/main/java/de/neemann/digital/fsm/TransitionTableCreator.java
View File

@ -20,6 +20,8 @@ import java.util.*;
* Creates a transition table from given states and transitions
*/
public class TransitionTableCreator {
private static final String STATE_VAR = "Z";
private final List<State> states;
private final List<Transition> transitions;
private final HashMap<Movable, TreeMap<String, Integer>> outputValues;
@ -81,7 +83,7 @@ public class TransitionTableCreator {
// create state variables
ArrayList<Variable> vars = new ArrayList<>();
for (int i = stateBits - 1; i >= 0; i--) {
final Variable var = new Variable("Q^" + i + "_n");
final Variable var = new Variable(STATE_VAR+"^" + i + "_n");
vars.add(var);
boolean initVal = (initState & (1 << i)) != 0;
modelAnalyserInfo.setSequentialInitValue(var.getIdentifier(), initVal ? 1 : 0);
@ -91,7 +93,7 @@ public class TransitionTableCreator {
// create the next state result variables
for (int i = stateBits - 1; i >= 0; i--)
truthTable.addResult("Q^" + i + "_n+1");
truthTable.addResult(STATE_VAR+"^" + i + "_n+1");
// add the output variables
TreeSet<String> results = new TreeSet<>();