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

Improved state variable names created by the FSM editor.

Browse Source
This commit is contained in:
hneemann 2019-06-25 18:29:05 +02:00
parent 5a27c7e31d
commit 50a047fdb3
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -81,7 +81,7 @@ public class TransitionTableCreator {
// create state variables // create state variables
ArrayList<Variable> vars = new ArrayList<>(); ArrayList<Variable> vars = new ArrayList<>();
for (int i = stateBits - 1; i >= 0; i--) { for (int i = stateBits - 1; i >= 0; i--) {
final Variable var = new Variable("Q" + i + "_n"); final Variable var = new Variable("Q^" + i + "_n");
vars.add(var); vars.add(var);
boolean initVal = (initState & (1 << i)) != 0; boolean initVal = (initState & (1 << i)) != 0;
modelAnalyserInfo.setSequentialInitValue(var.getIdentifier(), initVal ? 1 : 0); modelAnalyserInfo.setSequentialInitValue(var.getIdentifier(), initVal ? 1 : 0);
@ -91,7 +91,7 @@ public class TransitionTableCreator {
// create the next state result variables // create the next state result variables
for (int i = stateBits - 1; i >= 0; i--) for (int i = stateBits - 1; i >= 0; i--)
truthTable.addResult("Q" + i + "_n+1"); truthTable.addResult("Q^" + i + "_n+1");
// add the output variables // add the output variables
TreeSet<String> results = new TreeSet<>(); TreeSet<String> results = new TreeSet<>();