|
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.