Commit 961f5b4b authored by Sylvain Soliman's avatar Sylvain Soliman

Force output to be the only one to change for influences

parent ba9622aa
......@@ -137,18 +137,20 @@ export_initial_state(Stream, Molecules) :-
export_nusmv_stream_influences(Stream) :-
write(Stream, 'MODULE main\n\n'),
findall(
(PositiveInputs, NegativeInputs, [Output], []),
(PositiveInputs, NegativeInputs, [Output | PositiveInputs], NegativeInputs),
(
item([kind: influence, item: Item]),
influence(Item, _Force, PositiveInputs, NegativeInputs, '+', Output)
influence(Item, _Force, PositiveInputs, NegInputs, '+', Output),
subtract(NegInputs, [Output], NegativeInputs)
),
PInfluences
),
findall(
(PositiveInputs, NegativeInputs, [], [Output]),
(PositiveInputs, NegativeInputs, PositiveInputs, [Output | NegativeInputs]),
(
item([kind: influence, item: Item]),
influence(Item, __Force, PositiveInputs, NegativeInputs, '-', Output)
influence(Item, __Force, PosInputs, NegativeInputs, '-', Output),
subtract(PosInputs, [Output], PositiveInputs)
),
NInfluences
),
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment