org.sosy_lab.java_smt.example

Class MinimizeTemp

java.lang.Object

org.sosy_lab.java_smt.example.MinimizeTemp

public class MinimizeTemp
extends Object

Example for getting values from optimization.

Constructor Summary

Constructors

Constructor and Description
MinimizeTemp()

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

MinimizeTemp

public MinimizeTemp()

Method Detail

main

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

Throws:

InvalidConfigurationException

SolverException

InterruptedException