SCIP parameter set to be transferred ( Only keep difference between default settings ). More...
#include <cstring>
#include "ug/paraDef.h"
#include "ug/gzstream.h"
#include "ug/paraComm.h"
#include "scip/scip.h"
Go to the source code of this file.
Classes | |
class | ScipDiffParamSet |
Namespaces | |
namespace | ParaSCIP |
SCIP parameter set to be transferred ( Only keep difference between default settings ).
Definition in file scipDiffParamSet.h.