artur/reactics
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Types

Browse Source
This commit is contained in:
Artur Meski
2018-03-26 11:00:23 +01:00
parent 44ea91c10e
commit ee441ab390
3 changed files with 12 additions and 14 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
symrs.cc
View File

@@ -1,9 +1,6 @@
/* /*
Copyright (c) 2012-2014 Copyright (c) 2012-2018
Artur Meski <meski@ipipan.waw.pl> Artur Meski <meski@ipipan.waw.pl>
Reuse of the code or its part for any purpose
without the author's permission is strictly prohibited.
*/ */
#include "symrs.hh" #include "symrs.hh"
@@ -210,7 +207,7 @@ void SymRS::encodeTransitions(void)
if ((di = dr.find(p)) == dr.end()) if ((di = dr.find(p)) == dr.end())
{ {
// nie ma reakcji produkujacej p: // there is no reaction producing p:
if (opts->part_tr_rel) if (opts->part_tr_rel)
(*partTrans)[p] = !encEntitySucc(p); (*partTrans)[p] = !encEntitySucc(p);
else else
@@ -220,7 +217,7 @@ void SymRS::encodeTransitions(void)
} }
else else
{ {
// di - reakcje produkujace p // di - reactions producing p
BDD conditions = BDD_FALSE; BDD conditions = BDD_FALSE;

8
symrs.hh
View File

@@ -36,14 +36,6 @@ class SymRS
Cudd *cuddMgr; Cudd *cuddMgr;
Options *opts; Options *opts;
struct ReactionCond {
Entities rctt;
Entities inhib;
};
typedef vector<ReactionCond> ReactionConds;
typedef map<Entity,ReactionConds> DecompReactions;
typedef std::vector<int> StateEntityToAction;
StateEntityToAction stateToAct; StateEntityToAction stateToAct;
BDD *initStates; BDD *initStates;

9
types.hh
View File

@@ -30,6 +30,15 @@ typedef unsigned int State;
typedef std::vector<std::string> StatesById; typedef std::vector<std::string> StatesById;
typedef std::map<std::string, State> StatesByName; typedef std::map<std::string, State> StatesByName;
struct ReactionCond {
Entities rctt;
Entities inhib;
};
typedef std::vector<ReactionCond> ReactionConds;
typedef std::map<Entity,ReactionConds> DecompReactions;
typedef std::vector<int> StateEntityToAction;
struct Transition { struct Transition {
State src_state; State src_state;
Entities ctx; Entities ctx;