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

Method Summary

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 Details

AllSatExample

public AllSatExample(SolverContext pContext,
 ProverEnvironment pProver)

Method Details

main

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

Throws:

InvalidConfigurationException

SolverException

InterruptedException