OSDecompSolver.cpp

Go to the documentation of this file.

/* $Id: OSBlockSolver.cpp 3038 2009-11-07 11:43:44Z kmartin $ */
#include "OSDecompSolver.h"
#include "OSDecompSolverFactory.h"


OSDecompSolver::OSDecompSolver() {
}//end OSDecompSolver

OSDecompSolver::~OSDecompSolver() {

        //cout << "inside OSDecompSolver destructor" << endl;

}//end ~OSDecompSolver