Commit 258d214a authored by SOLIMAN Sylvain's avatar SOLIMAN Sylvain
Browse files

Avoid error missing parameters

parent 2197713f
...@@ -43,7 +43,15 @@ sat(N, M) :- ...@@ -43,7 +43,15 @@ sat(N, M) :-
assertz(ode_dxdt(Aj, Aj * Kj)), assertz(ode_dxdt(Aj, Aj * Kj)),
big_prod(J, N, 0, Pj), big_prod(J, N, 0, Pj),
simplify(Pj, PPj), simplify(Pj, PPj),
assertz(ode_func(Kj, PPj)) assertz(ode_func(Kj, PPj)),
make_name('c', J, Cj),
forall(
between(1, N, I),
(
make_name(Cj, I, Cji),
assertz(ode_par(Cji, 0))
)
)
) )
). ).
...@@ -145,6 +153,7 @@ set_clause_parameter(Clause, N) :- ...@@ -145,6 +153,7 @@ set_clause_parameter(Clause, N) :-
!, !,
make_name('c', Clause, Cj), make_name('c', Clause, Cj),
make_name(Cj, N, Cji), make_name(Cj, N, Cji),
retractall(ode_par(Cji, _)),
assertz(ode_par(Cji, 1)). assertz(ode_par(Cji, 1)).
set_clause_parameter(Clause, N) :- set_clause_parameter(Clause, N) :-
...@@ -152,4 +161,5 @@ set_clause_parameter(Clause, N) :- ...@@ -152,4 +161,5 @@ set_clause_parameter(Clause, N) :-
NN is -N, NN is -N,
make_name('c', Clause, Cj), make_name('c', Clause, Cj),
make_name(Cj, NN, Cji), make_name(Cj, NN, Cji),
retractall(ode_par(Cji, _)),
assertz(ode_par(Cji, -1)). assertz(ode_par(Cji, -1)).
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