AllSatExample (JavaSMT Solver Library)

java.lang.Object
- org.sosy_lab.java_smt.example.AllSatExample

```
public class AllSatExample
extends Object
```
This example shows different ways to get all satisfiable models for a given set of constraints.

- Constructor Summary
  
  Constructors
  Constructor Description
  
  AllSatExample(SolverContext pContext, ProverEnvironment pProver)
- Method Summary
  
  All Methods Static Methods Concrete Methods
  Modifier and Type Method Description
  
  static void main(String... args)
  - Methods inherited from class java.lang.Object
    clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

AllSatExample

public AllSatExample(SolverContext pContext,
                     ProverEnvironment pProver)

Method Detail

main

public static void main(String... args)
                 throws InvalidConfigurationException,
                        SolverException,
                        InterruptedException

Throws:: InvalidConfigurationException; SolverException; InterruptedException