Package org.sosy_lab.java_smt.example

Class Interpolation

java.lang.Object

org.sosy_lab.java_smt.example.Interpolation

public final class Interpolation
extends Object

Examples for Craig/sequential/tree interpolation.

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

Method Detail

main

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

Throws:

InvalidConfigurationException

SolverException

InterruptedException