Define class for storing auxiliary variables equivalent to a sum of a variable and a constant. More...
#include <cmath>#include <iostream>#include "MinotaurConfig.h"#include "LinearFunction.h"#include "Objective.h"#include "Variable.h"#include "YEqVars.h"
Include dependency graph for YEqVars.cpp:
Detailed Description
Define class for storing auxiliary variables equivalent to a sum of a variable and a constant.