Class Literal

    • Constructor Detail

      • Literal

        public Literal​(Predicate predicate,
                       int sign,
                       int missing)
    • Method Detail

      • getPredicate

        public Predicate getPredicate()
      • getNegation

        public Literal getNegation()
      • setNegation

        public void setNegation​(Literal negation)
      • positive

        public boolean positive()
      • negative

        public boolean negative()
      • satisfies

        public abstract boolean satisfies​(Instance instance)
      • negationSatisfies

        public abstract boolean negationSatisfies​(Instance instance)
      • toString

        public abstract java.lang.String toString()
        Overrides:
        toString in class java.lang.Object