Java Type.UNSAT Examples

Example #1

File: SatResult.java Project: wei-wang-523/cascade

 public static <T> SatResult<T> valueOf(
     Type result,
     Expression phi,
     Iterable<? extends BooleanExpression> assumptions,
     String reason) {
   Preconditions.checkArgument(!Type.UNSAT.equals(result));
   return new SatResult<T>(result, phi, assumptions, reason);
 }

Example #2

File: SatResult.java Project: wei-wang-523/cascade

 public boolean isUnsatisfiable() {
   return Type.UNSAT.equals(getType());
 }