Define methods for maximum-frequency branching. More...
#include <cmath>#include <iomanip>#include "MinotaurConfig.h"#include "Branch.h"#include "BrCand.h"#include "BrVarCand.h"#include "Environment.h"#include "Handler.h"#include "Logger.h"#include "MaxFreqBrancher.h"#include "Modification.h"#include "Node.h"#include "Option.h"#include "Relaxation.h"#include "Solution.h"#include "Timer.h"#include "Variable.h"
Include dependency graph for MaxFreqBrancher.cpp:
Detailed Description
Define methods for maximum-frequency branching.