GuardPresent
Related Doc:
package jc
The conjunction of all the clauses of the guard that are independent of pattern variables. This closure can be called in order to determine whether the reaction should even be considered to start, regardless of the presence of molecules. In this example, the value of staticGuard will be Some(() => n > 1).
A list of values of type CrossMoleculeGuard, each representing one cross-molecule clauses of the guard. The partial function Any => Unit should be called with the arguments representing the tuples of pattern variables from each molecule used by the cross guard.
In the present example, the value of crossGuards will be an array with the single element
CrossMoleculeGuard(indices = Array(1, 2), List((List('y, 'z), { case List(y: Int, z: Int) if y > z => () })))
A list of values of type CrossMoleculeGuard, each representing one cross-molecule clauses of the guard.
A list of values of type CrossMoleculeGuard, each representing one cross-molecule clauses of the guard. The partial function Any => Unit should be called with the arguments representing the tuples of pattern variables from each molecule used by the cross guard.
In the present example, the value of crossGuards will be an array with the single element
CrossMoleculeGuard(indices = Array(1, 2), List((List('y, 'z), { case List(y: Int, z: Int) if y > z => () })))
Checks whether the reaction has no cross-molecule guard conditions, that is, conditions that cannot be factorized as conjunctions of conditions that each constrain individual molecules.
Checks whether the reaction has no cross-molecule guard conditions, that is, conditions that cannot be factorized as conjunctions of conditions that each constrain individual molecules.
For example, go { case a(x) + b(y) if x > y => } has a cross-molecule guard condition,
whereas go { case a(x) + b(y) if x > 1 && y < 2 => } has no cross-molecule guard conditions because its guard condition
can be split into a conjunction of guard conditions that each constrain the value of one molecule.
true if the reaction has no guard condition, or if it has guard conditions that can be split between molecules;
false if the reaction has at least one cross-molecule guard condition.
The conjunction of all the clauses of the guard that are independent of pattern variables.
The conjunction of all the clauses of the guard that are independent of pattern variables. This closure can be called in order to determine whether the reaction should even be considered to start, regardless of the presence of molecules. In this example, the value of staticGuard will be Some(() => n > 1).
Calls a reaction's static guard to check whether the reaction is permitted to start, before examining any molecule values.
Calls a reaction's static guard to check whether the reaction is permitted to start, before examining any molecule values.
A static guard is a reaction guard that does not depend on molecule values.
For example, go { case a(x) if n > 0 && x < n => ...} contains a static guard n > 0 and a non-static guard x < n.
A static guard could depend on mutable global values, such as n, and so it is evaluated each time.
Note that the static guard could be evaluated even if the reaction site does not have enough input molecules for the reaction to start. Avoid putting side effects into the static guard!
true if the reaction's static guard returns true or is absent.
false if the reaction has a static guard, and if the guard returns false.
Indicates whether guard conditions are required for this reaction to start.
The guard is parsed into a flat conjunction of guard clauses, which are then analyzed for cross-dependencies between molecules.
For example, consider the reaction
go { case a(x) + b(y) + c(z) if x > n && y > 0 && y > z && n > 1 => ...}Here
nis an integer value defined outside the reaction.The conditions for starting this reaction is that
a(x)has valuexsuch thatx > n; thatb(y)has valueysuch thaty > 0; thatc(z)has valuezsuch thaty > z; and finally thatn > 1, independently of any molecule values. The conditionn > 1is a static guard. The conditionx > nrestricts only the moleculea(x)and therefore can be moved out of the guard into the per-molecule conditional inside InputMoleculeInfo for that molecule. Similarly, the conditiony > 0can be moved out of the guard. However, the conditiony > zrelates two different molecule values; it is a cross-molecule guard.Any guard condition given by the reaction code will be converted to the Conjunctive Normal Form, and split into a static guard, a set of per-molecule conditionals, and a set of cross-molecule guards.
The conjunction of all the clauses of the guard that are independent of pattern variables. This closure can be called in order to determine whether the reaction should even be considered to start, regardless of the presence of molecules. In this example, the value of
staticGuardwill beSome(() => n > 1).A list of values of type CrossMoleculeGuard, each representing one cross-molecule clauses of the guard. The partial function
Any => Unitshould be called with the arguments representing the tuples of pattern variables from each molecule used by the cross guard. In the present example, the value ofcrossGuardswill be an array with the single element