Minotaur 0.4.1
Docs for developers
|
Handles Multilinear Terms. Each term must appear as equal to some auxiliary variable. More...
#include <algorithm>
#include <cmath>
#include <sstream>
#include "Branch.h"
#include "BrVarCand.h"
#include "Constraint.h"
#include "Environment.h"
#include "Function.h"
#include "LinearFunction.h"
#include "LinMods.h"
#include "Logger.h"
#include "MultilinearTermsHandler.h"
#include "Objective.h"
#include "Option.h"
#include "Node.h"
#include "Problem.h"
#include "Relaxation.h"
#include "Solution.h"
#include "Variable.h"
Handles Multilinear Terms. Each term must appear as equal to some auxiliary variable.