Class DispatcherUtil

java.lang.Object

solvers.dispatchers.DispatcherUtil

public class DispatcherUtil
extends Object

Utilities of the JMVA solver dispatchers.

Constructor Summary

Constructors

Constructor	Description
DispatcherUtil()

Method Summary

Modifier and Type	Method	Description
static void	fail(String message, Throwable t)

Methods inherited from class Object

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

Constructor Details

DispatcherUtil

public DispatcherUtil()

Method Details

fail

public static void fail(String message,
 Throwable t)
                 throws SolverException

Throws:

SolverException