org.sosy_lab.java_smt.example

Class SMTInterpolTest2

java.lang.Object

org.sosy_lab.java_smt.example.SMTInterpolTest2

public class SMTInterpolTest2
extends Object

Constructor Summary

Constructors

Constructor and Description
SMTInterpolTest2()

Method Summary

Modifier and Type	Method and Description
static <T> void	main(String[] args)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

SMTInterpolTest2

public SMTInterpolTest2()

Method Detail

main

public static <T> void main(String[] args)
                     throws InvalidConfigurationException,
                            InterruptedException,
                            SolverException

Throws:

InvalidConfigurationException

InterruptedException

SolverException