Package org.bigraphs.grgen.converter.impl

Class PureGroundRuleTransformer

java.lang.Object
org.bigraphs.grgen.converter.TransformerSupport
org.bigraphs.grgen.converter.RuleTransformer
org.bigraphs.grgen.converter.impl.PureGroundRuleTransformer
All Implemented Interfaces:
BaseTransformer<org.bigraphs.framework.core.reactivesystem.ReactionRule<?>>
public class PureGroundRuleTransformer extends RuleTransformer
A concrete transformer implementation for ground rules that take pure bigraphs as redex and reactum. A rule is ground if it has no sites and inner names.
Author:
Dominik Grzelak

  • Constructor Details

    • PureGroundRuleTransformer

      public PureGroundRuleTransformer()

  • Method Details

    • toString

      public String toString(org.bigraphs.framework.core.reactivesystem.ReactionRule<?> element)
      Description copied from interface: BaseTransformer
      Redirects the result of an encoding to a string
      Specified by:
      toString in interface BaseTransformer<org.bigraphs.framework.core.reactivesystem.ReactionRule<?>>
      Specified by:
      toString in class RuleTransformer
      Parameters:
      element - the bigraph or signature being encoded