From 0e4a58a9afaa2cae8e36df1f9b25cbe61e76e1c7 Mon Sep 17 00:00:00 2001 From: Artur Meski Date: Tue, 1 Jan 2019 16:06:57 +0000 Subject: [PATCH] Examples, default concentration --- phd_example.py | 7 ++----- rs/reaction_system_with_concentrations_param.py | 2 +- 2 files changed, 3 insertions(+), 6 deletions(-) diff --git a/phd_example.py b/phd_example.py index 44707d4..099fd05 100755 --- a/phd_example.py +++ b/phd_example.py @@ -66,14 +66,11 @@ def gen_expr(): # ltl_X(bag_Not("h"), exact_state("X", all_entities)))) # - # param_constr = param_entity(lda, "yp") == 0 - + pc = param_entity(lda, "a") == 0 f = ltl_F(bag_entity("h") == 0, "c") checker = SmtCheckerRSCParam(crprs, optimise=True) - checker.check_rsltl(formulae_list=[f]) - - #, param_constr=param_constr) + checker.check_rsltl(formulae_list=[f], param_constr=pc) gen_expr() diff --git a/rs/reaction_system_with_concentrations_param.py b/rs/reaction_system_with_concentrations_param.py index d414e69..4ba7e61 100644 --- a/rs/reaction_system_with_concentrations_param.py +++ b/rs/reaction_system_with_concentrations_param.py @@ -28,7 +28,7 @@ class ReactionSystemWithConcentrationsParam(ReactionSystem): self.background_set = [] self.context_entities = [] # legacy. to be removed self.reactions_by_prod = None - self.max_concentration = 0 + self.max_concentration = 1 self.max_conc_per_ent = dict() def add_bg_set_entity(self, e):