Class Implication.ImplicationWrapper

  • Enclosing class:
    Implication

    public static final class Implication.ImplicationWrapper
    extends Object
    • Constructor Detail

      • ImplicationWrapper

        @DataBoundConstructor
        public ImplicationWrapper​(String expression,
                                  String atoms)
    • Method Detail

      • getExpression

        public String getExpression()
      • getAtoms

        public String getAtoms()
      • setExpression

        public void setExpression​(String expression)
      • setAtoms

        public void setAtoms​(String atoms)