Commit 7146b697 authored by Mathieu Hemery's avatar Mathieu Hemery

progress toward separation

parent 57caf9ae
......@@ -6,13 +6,19 @@
*/
% Loading libraries
:- use_module(arithmetic_rules).
:- use_module(biocham).
:- use_module(counters).
:- use_module(doc).
:- use_module(kinetics).
:- use_module(models).
:- use_module(namespace).
:- use_module(ode).
:- use_module(quadratic_reduction).
:- use_module(sat).
:- use_module(toplevel).
:- use_module(types).
:- use_module(util).
:- use_module(xpp_parser).
main([Input|_Tail]) :-
......@@ -21,11 +27,23 @@ main([Input|_Tail]) :-
string_concat(InputBase, '_quad', OutputBase),
file_name_extension(OutputBase, 'ode', Output),
format("Input: ~w~nOutput: ~w~n", [Input, Output]),
% Initialization (see biocham:initialize)
set_prolog_flag(allow_variable_name_as_functor, true),
set_counter(list_item_counter, 0),
set_counter(item_id, 0),
set_counter(model, 0),
set_counter(molecule_id, 0),
set_counter(parameter_id, 1),
nb_setval(ode_viewer, inline),
nb_setval(current_models, []),
new_model,
change_item([], option, quadratic_reduction, option(quadratic_reduction: sat_species)),
change_item([], option, timeout, option(timeout: 120)),
% Main procedure
read_xpp(Input),
list_ode,
quadratic_reduction_ODE,
select_ode_system(quadratic_ode),
%quadratic_reduction_ODE,
%select_ode_system(quadratic_ode),
write_xpp(Output).
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