Skip to content

Commit 187f49c

Browse files
Added static hazard free implementation output.
May or may not be "minimal" static hazard free, but it seems fine.
1 parent 4700891 commit 187f49c

File tree

1 file changed

+4
-1
lines changed

1 file changed

+4
-1
lines changed

Diff for: minimizer.py

+4-1
Original file line numberDiff line numberDiff line change
@@ -453,7 +453,10 @@ def MapImplicationsToString(x):
453453
possibleAdditions = PetricksMethod(chart)
454454
#Convert to strings
455455
possibleAdditionStrings = list(map(MapImplicationsToString, possibleAdditions))
456-
456+
print("------------------------------------")
457+
print("Static hazard free implementation:")
458+
print(MapImplicationsToString(primeImplicants))
459+
457460
essentialPrimeImplicantsString = MapImplicationsToString(essentialPrimeImplicants)
458461
print("Possible Minimizations:")
459462
for string in possibleAdditionStrings:

0 commit comments

Comments
 (0)