Package | Description |
---|---|
org.gcn.plinguacore.util.psystem.rule.checkRule.specificCheckRule |
Modifier and Type | Class and Description |
---|---|
class |
NoLeftExternalMultiSetWithCreation
This class tests whether the outer multiset in the left hand of the rule is
empty (it has no objects) or it doesn't create new membranes
|
class |
NoLeftExternalMultiSetWithDissolution
This class tests whether the outer multiset in the left hand of the rule is
empty (it has no objects) or it doesn't dissolve the outer membrane
|
class |
NoLeftExternalMultiSetWithDivision
This class tests whether the outer multiset in the left hand of the rule is
empty (it has no objects) or it doesn't divide the outer membrane
|