Java Literal.negated Examples

Example #1

File: LiteralImpl.java Project: adri87/Q-A

 @Override
 public int compareTo(Term t) {
   if (t == null) return -1;
   if (t.isLiteral()) {
     Literal tl = (Literal) t;
     if (!negated() && tl.negated()) return -1;
     else if (negated() && !tl.negated()) return 1;
   }
   return super.compareTo(t);
 }

Example #2

File: LiteralImpl.java Project: adri87/Q-A

 public LiteralImpl(Literal l) {
   super(l);
   type = !l.negated();
 }