From 58f06c3fc1c52dae9111a3cdcaac8600a2e7a5b8 Mon Sep 17 00:00:00 2001 From: Artur Meski Date: Wed, 28 Dec 2016 22:30:00 +0100 Subject: [PATCH] cleanup --- rs/context_automaton.py | 2 +- rs/context_automaton_with_concentrations.py | 5 +---- rs_testing.py | 5 +++-- rssmt.py | 6 ++++-- 4 files changed, 9 insertions(+), 9 deletions(-) diff --git a/rs/context_automaton.py b/rs/context_automaton.py index 46f2514..f99fb71 100644 --- a/rs/context_automaton.py +++ b/rs/context_automaton.py @@ -1,6 +1,6 @@ from sys import exit from colour import * - + class ContextAutomaton(object): def __init__(self, reaction_system): diff --git a/rs/context_automaton_with_concentrations.py b/rs/context_automaton_with_concentrations.py index 443a6f1..04ac2e3 100644 --- a/rs/context_automaton_with_concentrations.py +++ b/rs/context_automaton_with_concentrations.py @@ -6,10 +6,7 @@ from rs.context_automaton import ContextAutomaton class ContextAutomatonWithConcentrations(ContextAutomaton): def __init__(self, reaction_system): - self._states = [] - self._transitions = [] - self._init_state = None - self._reaction_system = reaction_system + super(ContextAutomatonWithConcentrations, self).__init__(reaction_system) def is_valid_context(self, context): if set([e for e,lvl in context]).issubset(self._reaction_system.background_set): diff --git a/rs_testing.py b/rs_testing.py index 62e6e95..eacb77f 100644 --- a/rs_testing.py +++ b/rs_testing.py @@ -1,10 +1,11 @@ from rs import * from smt import * +import rs_examples def run_tests(): - test_extended_automaton() - # process() + # test_extended_automaton() + process() def test_extended_automaton(): diff --git a/rssmt.py b/rssmt.py index 5978531..735b0ac 100755 --- a/rssmt.py +++ b/rssmt.py @@ -21,10 +21,12 @@ profiling = False ################################################################## version = "2016/12/28/00" -rsmc_banner = """Reaction Systems SMT-Based Model Checking +rsmc_banner = """ +Reaction Systems SMT-Based Model Checking Version: """ + version + """ -Author: Artur Męski / """ +Author: Artur Męski / +""" ##################################################################