Incorrect circuit STG generator rules
Bug #1335055 reported by
Stan
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
Workcraft |
Fix Committed
|
Low
|
Danil Sokolov |
Bug Description
we need to change default behaviour for set and reset functions on the function contacts and circuit ports
- when both functions age given, generate accodrdingly
- when only set function is given - generate reset logic as a negation from the set function
- when only reset function is given - generate set logic as a negation from the reset function
- when neither function is provided, assume they have unrestricted behaviour
(possibly, this behaviour will be restricted later by parallel composition with environment STG)
Related branches
lp:~danilovesky/workcraft/trunk-bug-1335055
- Danil Sokolov: Approve
-
Diff: 81 lines (+24/-29)1 file modifiedCircuitPlugin/src/org/workcraft/plugins/circuit/tools/STGGenerator.java (+24/-29)
summary: |
- circuit STG generator rules + correct circuit STG generator rules |
Changed in workcraft: | |
assignee: | nobody → Danil Sokolov (danilovesky) |
importance: | Undecided → Low |
status: | New → Confirmed |
milestone: | none → 3.0 |
tags: | added: circuit stg |
description: | updated |
Changed in workcraft: | |
status: | Confirmed → Fix Committed |
summary: |
- correct circuit STG generator rules + Incorrect circuit STG generator rules |
To post a comment you must log in.