Commit 7c03d43c authored by Mathieu Hemery's avatar Mathieu Hemery

Small reformat to avoid \+ \+ syntax

parent 2cc48c10
......@@ -751,11 +751,9 @@ non_decomposable_term_in_additive_normal_form(1, Term, Term).
add_terms_as_reactions(Id) :-
\+ (
forall(
assoc(Term, Occurrences),
\+ (
add_term_as_reactions(Id, Term, Occurrences)
)
add_term_as_reactions(Id, Term, Occurrences)
).
......@@ -763,22 +761,20 @@ add_term_as_reactions(Id, Term, Occurrences) :-
check_cleaned(ode:reactant/2),
check_cleaned(ode:product/2),
check_cleaned(ode:inhibitor/2),
\+ (
forall(
member((X, Coefficient), Occurrences),
\+ (
(
Coefficient < 0
->
OppCoefficient is - Coefficient,
assertz(reactant(X, OppCoefficient))
;
assertz(product(X, Coefficient))
)
(
Coefficient < 0
->
OppCoefficient is - Coefficient,
assertz(reactant(X, OppCoefficient))
;
assertz(product(X, Coefficient))
)
),
\+ (
forall(
ode_variables(Id, X),
\+ (
(
(
\+ reactant(X, _),
partial_has_pos_val(Term, X)
......
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