Class RuleSpec

java.lang.Object
org.bigraphs.grgen.converter.cli.RuleSpec
Direct Known Subclasses:
InvalidRuleSpec

public class RuleSpec extends Object
  • Constructor Details

    • RuleSpec

      public RuleSpec(String ruleName, String redexFilePath, String reactumFilePath)
  • Method Details

    • getRuleName

      public String getRuleName()
    • setRuleName

      public void setRuleName(String ruleName)
    • getRedexFilePath

      public String getRedexFilePath()
    • setRedexFilePath

      public void setRedexFilePath(String redexFilePath)
    • getReactumFilePath

      public String getReactumFilePath()
    • setReactumFilePath

      public void setReactumFilePath(String reactumFilePath)