org.sosy_lab.java_smt.example

Class AllSatExample

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 and Description
AllSatExample(SolverContext pContext, ProverEnvironment pProver)

Method Summary

Modifier and Type	Method and 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