Define base class Relaxation. More...
#include "Relaxation.h"#include <cassert>#include <cmath>#include <iostream>#include "Constraint.h"#include "Environment.h"#include "Function.h"#include "LinearFunction.h"#include "MinotaurConfig.h"#include "NonlinearFunction.h"#include "Objective.h"#include "QuadraticFunction.h"#include "SOS.h"#include "Variable.h"
Include dependency graph for Relaxation.cpp:
Detailed Description
Define base class Relaxation.