Class AbstractBVal

    • Constructor Detail

      • AbstractBVal

        public AbstractBVal()
    • Method Detail

      • eval

        public abstract boolean eval()
      • recAdd

        public abstract void recAdd​(java.util.ArrayList<DVar> val)
      • toExpression

        public abstract java.lang.String toExpression()
      • toLemsExpression

        public abstract java.lang.String toLemsExpression()