@Test public void test() { assertEquals(expected, new ExplStatePredicate(expr, solver).test(state)); }
@Override public boolean test(final ExplState state) { final Expr<BoolType> simplified = ExprUtils.simplify(expr, state); if (simplified.equals(True())) { return true; } if (simplified.equals(False())) { return false; } try (WithPushPop wpp = new WithPushPop(solver)) { solver.add(PathUtils.unfold(simplified, 0)); return solver.check().isSat(); } }
ExplStatePredicate implements Predicate<ExplState> { @Override public boolean test(final ExplState state) { final Expr<BoolType> simplified = ExprUtils.simplify(expr, state); if (simplified.equals(True())) { return true; } if (simplified.equals(False())) { return false; } try (WithPushPop wpp = new WithPushPop(solver)) { solver.add(PathUtils.unfold(simplified, 0)); return solver.check().isSat(); } } }
ExplStatePredicate implements Predicate<ExplState> { @Override public boolean test(final ExplState state) { final Expr<BoolType> simplified = ExprUtils.simplify(expr, state); if (simplified.equals(True())) { return true; } if (simplified.equals(False())) { return false; } try (WithPushPop wpp = new WithPushPop(solver)) { solver.add(PathUtils.unfold(simplified, 0)); return solver.check().isSat(); } } ExplStatePredicate(final Expr<BoolType> expr, final Solver solver); }
ExplStatePredicate implements Predicate<ExplState> { @Override public boolean test(final ExplState state) { final Expr<BoolType> simplified = ExprUtils.simplify(expr, state); if (simplified.equals(True())) { return true; } if (simplified.equals(False())) { return false; } try (WithPushPop wpp = new WithPushPop(solver)) { solver.add(PathUtils.unfold(simplified, 0)); return solver.check().isSat(); } } ExplStatePredicate(final Expr<BoolType> expr, final Solver solver); @Override boolean test(final ExplState state); @Override String toString(); }
ExplStatePredicate implements Predicate<ExplState> { @Override public boolean test(final ExplState state) { final Expr<BoolType> simplified = ExprUtils.simplify(expr, state); if (simplified.equals(True())) { return true; } if (simplified.equals(False())) { return false; } try (WithPushPop wpp = new WithPushPop(solver)) { solver.add(PathUtils.unfold(simplified, 0)); return solver.check().isSat(); } } ExplStatePredicate(final Expr<BoolType> expr, final Solver solver); @Override boolean test(final ExplState state); @Override String toString();  }