Beispiel #1
0
 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);
 }
Beispiel #2
0
 public boolean isUnsatisfiable() {
   return Type.UNSAT.equals(getType());
 }