All Packages  Class Hierarchy  This Package  Previous  Next  Index

Class CH.epfl.lcvm.mccc.SolverException 

java.lang.Object
   |
   +----java.lang.Throwable
           |
           +----java.lang.Exception
                   |
                   +----CH.epfl.lcvm.mccc.MCCCException
                           |
                           +----CH.epfl.lcvm.mccc.SolverException
public class SolverException
extends MCCCException
An exception for when the solver fails

Constructor Index

o SolverException(String)
Contruct an exception with a message

Constructors

o SolverException 
 public SolverException(String message)
Contruct an exception with a message

Parameters:
message - The detailed message to be added to the default part 
All Packages  Class Hierarchy  This Package  Previous  Next  Index