()
| 164 | // / "Hello world" example: create a Z3 logical context, and delete it. |
| 165 | |
| 166 | public void simpleExample() |
| 167 | { |
| 168 | System.out.println("SimpleExample"); |
| 169 | Log.append("SimpleExample"); |
| 170 | |
| 171 | { |
| 172 | Context ctx = new Context(); |
| 173 | /* do something with the context */ |
| 174 | |
| 175 | /* be kind to dispose manually and not wait for the GC. */ |
| 176 | ctx.close(); |
| 177 | } |
| 178 | } |
| 179 | |
| 180 | @SuppressWarnings("unchecked") |
| 181 | Model check(Context ctx, Expr<BoolSort> f, Status sat) throws TestFailedException |