# OpenGraph DrawingFramework

v. 2022.02 (Dogwood)

ogdf::cluster_planarity::CP_MasterBase Class Referenceabstract

#include <ogdf/cluster/internal/CP_MasterBase.h>

Inheritance diagram for ogdf::cluster_planarity::CP_MasterBase:

## Public Types

enum  solutionState { solutionState::Undefined, solutionState::CPlanar, solutionState::NonCPlanar }

Public Types inherited from abacus::Master
enum  BRANCHINGSTRAT { CloseHalf, CloseHalfExpensive }
This enumeration defines the two currently implemented branching variable selection strategies. More...

enum  CONELIMMODE { NoConElim, NonBinding, Basic }
This enumeration defines the ways for automatic constraint elimination during the cutting plane phase. More...

enum  ENUMSTRAT { BestFirst, BreadthFirst, DepthFirst, DiveAndBest }
The enumeration defining the different enumeration strategies for the branch and bound algorithm. More...

enum  OSISOLVER { Cbc, Clp, CPLEX, DyLP, FortMP, GLPK, MOSEK, OSL, SoPlex, SYMPHONY, XPRESS_MP, Gurobi, Csdp }
This enumeration defines which solvers can be used to solve the LP-relaxations. More...

enum  PRIMALBOUNDMODE { NoPrimalBound, Optimum, OptimumOne }
This enumeration provides various methods for the initialization of the primal bound. More...

enum  SKIPPINGMODE { SkipByNode, SkipByLevel }
The way nodes are skipped for the generation of cuts. More...

enum  STATUS { Optimal, Error, OutOfMemory, Unprocessed, Processing, Guaranteed, MaxLevel, MaxCpuTime, MaxNSub, MaxCowTime, ExceptionFathom }
The various statuses of the optimization process. More...

enum  VARELIMMODE { NoVarElim, ReducedCost }
This enumeration defines the ways for automatic variable elimination during the column generation algorithm. More...

enum  VBCMODE { NoVbc, File, Pipe }
This enumeration defines what kind of output can be generated for the VBCTOOL. More...

## Public Member Functions

CP_MasterBase (const ClusterGraph &C, int heuristicLevel=1, int heuristicRuns=2, double heuristicOEdgeBound=0.3, int heuristicNPermLists=5, int kuratowskiIterations=3, int subdivisions=10, int kSupportGraphs=3, double kuratowskiHigh=0.7, double kuratowskiLow=0.3, bool perturbation=false, double branchingGap=0.4, const char *time="00:05:00")
Construction and default values. More...

virtual ~CP_MasterBase ()
Destruction. More...

double epsilon () const
Returns the objective function coefficient of C-edges. More...

const ClusterGraphgetClusterGraph () const
Returns a pointer to the given Clustergraph. More...

virtual void getConnectionOptimalSolutionEdges (List< NodePair > &edges) const
Returns nodePairs of connecting optimal solution edges in list edges. More...

abacus::StandardPool< abacus::Constraint, abacus::Variable > * getCutConnPool ()
Returns cut pool for connectivity. More...

abacus::StandardPool< abacus::Constraint, abacus::Variable > * getCutKuraPool ()
Returns cut pool for planarity. More...

double getDualBound ()

const GraphgetGraph () const
Returns a pointer to the underlying Graph. More...

double getHeuristicFractionalBound () const

int getHeuristicLevel () const

int getHeuristicRuns () const

double getKBoundHigh () const

double getKBoundLow () const

int getKIterations () const

bool getMPHeuristic () const

int getNKuratowskiSupportGraphs () const

int getNSubdivisions () const

int getNumInactiveVars ()

double getPrimalBound ()

const char * getStdConstraintsFileName ()
The name of the file that contains the standard, i.e., non-cut, constraints (may be deleted by ABACUS and shouldn't be stored twice) More...

double getStrongConstraintViolation () const

double getStrongVariableViolation () const

void heuristicLevel (int level)

double intGap ()
Returns a value that allows to distinguish result values when connection edges (tiny negative cost) are added. More...

int nMaxVars () const
Returns the number of variables. More...

int numberOfHeuristicPermutationLists () const

bool perturbation () const

void setHeuristicFractionalBound (double b)

void setHeuristicPermutationLists (int n)

void setHeuristicRuns (int n)

void setKBoundHigh (double n)

void setKBoundLow (double n)

void setKIterations (int n)

void setMPHeuristic (bool b)
Switches use of lower bound heuristic. More...

void setNHeuristicRuns (int n)

void setNKuratowskiSupportGraphs (int n)

void setNSubdivisions (int n)

void setPertubation (bool b)

void setPortaFile (bool b)
If set to true, PORTA output is written in a file. More...

void setStrongConstraintViolation (double d)

void setStrongVariableViolation (double d)

void setTimeLimit (const char *s)

virtual GraphsolutionInducedGraph ()
Returns the optimal solution induced Clustergraph. More...

virtual void updateBestSubGraph (List< NodePair > &connection)
Updates the "best" Subgraph m_solutionGraph found so far and fills connection with. More...

bool & useDefaultCutPool ()
Returns true if default cut pool is used. Otherwise, separate connectivity and Kuratowski pools are generated and used. More...

Public Member Functions inherited from abacus::Master
Master (const char *problemName, bool cutting, bool pricing, OptSense::SENSE optSense=OptSense::Unknown, double eps=1.0e-4, double machineEps=1.0e-7, double infinity=1.0e30, bool readParamFromFile=false)
The constructor. More...

virtual ~Master ()
The destructor. More...

STATUS optimize ()
Performs the optimization by branch-and-bound. More...

double lowerBound () const
Returns the value of the global lower bound. More...

double upperBound () const
Returns the value of the global upper bound. More...

double primalBound () const
Returns the value of the primal bound. More...

void primalBound (double x)
Sets the primal bound to x and makes a new entry in the solution history. More...

double dualBound () const
Returns the value of the dual bound. More...

void dualBound (double x)
Sets the dual bound to x and makes a new entry in the solution history. More...

bool betterDual (double x) const
Returns true if x is better than the best known dual bound; false otherwise. More...

bool primalViolated (double x) const
Can be used to compare a value with the one of the best known primal bound. More...

bool betterPrimal (double x) const
Can be used to check if a value is better than the best know primal bound. More...

double rootDualBound () const
Returns the dual bound at the root node. More...

bool feasibleFound () const
We use this function, e.g., to adapt the enumeration strategy in the DiveAndBest-Strategy. More...

ENUMSTRAT enumerationStrategy () const
Returns the enumeration strategy. More...

void enumerationStrategy (ENUMSTRAT strat)
Changes the enumeration strategy to strat. More...

virtual int enumerationStrategy (const Sub *s1, const Sub *s2)
Analyzes the enumeration strategy set in the parameter file .abacus and calls the corresponding comparison function for the subproblems s1 and s2. More...

bool guaranteed () const
Can be used to check if the guarantee requirements are fulfilled. More...

double guarantee () const
Can be used to access the guarantee which can be given for the best known feasible solution. More...

void printGuarantee () const
Writes the guarantee nicely formated on the output stream associated with this object. More...

bool check () const
Can be used to control the correctness of the optimization if the value of the optimum solution has been loaded. More...

bool knownOptimum (double &optVal) const
Opens the file specified with the parameter OptimumFileName in the configuration file .abacus and tries to find a line with the name of the problem instance (as specified in the constructor of Master) as first string. More...

virtual void output () const
Does nothing but can be redefined in derived classes for output before the timing statistics. More...

bool cutting () const

bool pricing () const

const OptSenseoptSense () const
Returns a pointer to the object holding the optimization sense of the problem. More...

Historyhistory () const
Returns a pointer to the object storing the solution history of this branch and cut problem. More...

OpenSubopenSub () const
Returns a pointer to the set of open subproblems. More...

StandardPool< Constraint, Variable > * conPool () const
Returns a pointer to the default pool storing the constraints of the problem formulation. More...

StandardPool< Constraint, Variable > * cutPool () const
Returns a pointer to the default pool for the generated cutting planes. More...

StandardPool< Variable, Constraint > * varPool () const
Returns a pointer to the default pool storing the variables. More...

Subroot () const
Can be used to access the root node of the branch-and-bound tree. More...

SubrRoot () const

STATUS status () const
Returns the status of the Master. More...

const string & problemName () const
Returns the name of the instance being optimized (as specified in the constructor of this class). More...

const ogdf::StopwatchWallClocktotalCowTime () const
Returns a pointer to the timer measuring the total wall clock time. More...

bool solveApprox () const
True, if an approximative solver should be used. More...

const ogdf::StopwatchCPUtotalTime () const
returns a pointer to the timer measuring the total cpu time for the optimization. More...

const ogdf::StopwatchCPUlpTime () const
Returns a pointer to the timer measuring the cpu time spent in members of the LP-interface. More...

const ogdf::StopwatchCPUlpSolverTime () const
Return a pointer to the timer measuring the cpu time required by the LP solver. More...

const ogdf::StopwatchCPUseparationTime () const
Returns a pointer to the timer measuring the cpu time spent in the separation of cutting planes. More...

const ogdf::StopwatchCPUimproveTime () const
Returns a pointer to the timer measuring the cpu time spent in the heuristics for the computation of feasible solutions. More...

const ogdf::StopwatchCPUpricingTime () const
Returns a pointer to the timer measuring the cpu time spent in pricing. More...

const ogdf::StopwatchCPUbranchingTime () const
Returns a pointer to the timer measuring the cpu time spent in finding and selecting the branching rules. More...

int nSub () const
returns the number of generated subproblems. More...

int nLp () const
Returns the number of optimized linear programs (only LP-relaxations). More...

int highestLevel () const
Returns the highest level in the tree which has been reached during the implicit enumeration. More...

int nNewRoot () const
Returns the number of root changes of the remaining branch-and-cut tree. More...

int nSubSelected () const
Returns the number of subproblems which have already been selected from the set of open subproblems. More...

void printParameters () const
Writes all parameters of the class Master together with their values to the global output stream. More...

BRANCHINGSTRAT branchingStrategy () const
Returns the branching strategy. More...

void branchingStrategy (BRANCHINGSTRAT strat)
Changes the branching strategy to strat. More...

OSISOLVER defaultLpSolver () const
returns the Lp Solver. More...

void defaultLpSolver (OSISOLVER osiSolver)
Changes the default Lp solver to osiSolver. More...

LpMasterOsilpMasterOsi () const

int nBranchingVariableCandidates () const
Returns the number of variables that should be tested for the selection of the branching variable. More...

void nBranchingVariableCandidates (int n)
Sets the number of tested branching variable candidates to n. More...

int nStrongBranchingIterations () const
The number of simplex iterations that are performed when testing candidates for branching variables within strong branching. More...

void nStrongBranchingIterations (int n)
Sets the number of simplex iterations that are performed when testing candidates for branching variables within strong branching. More...

double requiredGuarantee () const
The guarantee specification for the optimization. More...

void requiredGuarantee (double g)
Changes the guarantee specification tp g. More...

int maxLevel () const
Returns the maximal depth up to which the enumeration should be performed. More...

void maxLevel (int ml)
This version of the function maxLevel() changes the maximal enumeration depth. More...

int maxNSub () const
Returns the maximal number of subproblems to be processed. More...

void maxNSub (int ml)
Changes the maximal number of subproblems to ml. More...

int64_t maxCpuTime () const
Returns the maximal cpu time (in seconds) which can be used by the optimization. More...

string maxCpuTimeAsString () const
Returns the maximal cpu time (as string hh:mm:ss) which can be used by the optimization. More...

void maxCpuTime (const string &t)
Sets the maximally allowed cpu time for the optimization to t. More...

void maxCpuTime (int64_t seconds)
Sets the maximally allowed cpu time to seconds. More...

void maxCpuTime (int hour, int min, int sec)
Sets the maximally allowed cpu time for the optimization to hour, min, sec. More...

int64_t maxCowTime () const
Returns the maximal wall-clock time (in seconds) which can be used by the optimization. More...

string maxCowTimeAsString () const
Returns the maximal wall-clock time (as string hh:mm:ss) which can be used by the optimization. More...

void maxCowTime (int64_t seconds)
Sets the maximally allowed wall-clock time to seconds. More...

void maxCowTime (const string &t)
Sets the maximally allowed wall-clock time for the optimization to t. More...

bool objInteger () const
If true then we assume that all feasible solutions have integral objective function values. More...

void objInteger (bool b)
Sets the assumption that the objective function values of all feasible solutions are integer. More...

int tailOffNLp () const
Returns the number of linear programs considered in the tailing off analysis. More...

void tailOffNLp (int n)
Sets the number of linear programs considered in the tailing off analysis to n. More...

double tailOffPercent () const
Returns the minimal change of the dual bound for the tailing off analysis in percent. More...

void tailOffPercent (double p)
Sets the minimal change of the dual bound for the tailing off analysis to p. More...

bool delayedBranching (int nOpt) const
Returns true if the number of optimizations nOpt of a subproblem exceeds the delayed branching threshold, false otherwise. More...

void dbThreshold (int threshold)
Sets the number of optimizations of a subproblem until sons are created in Sub::branching(). More...

int dbThreshold () const
Returns the number of optimizations of a subproblem until sons are created. More...

int minDormantRounds () const
Returns the maximal number of rounds, i.e., number of subproblem optimizations, a subproblem is dormant. More...

void minDormantRounds (int nRounds)
Sets the number of rounds a subproblem should stay dormant to nRounds. More...

PRIMALBOUNDMODE pbMode () const
Returns the mode of the primal bound initialization. More...

void pbMode (PRIMALBOUNDMODE mode)
Sets the mode of the primal bound initialization to mode. More...

int pricingFreq () const
Returns the number of linear programs being solved between two additional pricing steps. More...

void pricingFreq (int f)
Sets the number of linear programs being solved between two additional pricing steps to f. More...

int skipFactor () const
Returns the frequency of subproblems in which constraints or variables should be generated. More...

void skipFactor (int f)
Sets the frequency for constraint and variable generation to f. More...

void skippingMode (SKIPPINGMODE mode)
Sets the skipping strategy to mode. More...

SKIPPINGMODE skippingMode () const
Returns the skipping strategy. More...

CONELIMMODE conElimMode () const
Returns the mode for the elimination of constraints. More...

void conElimMode (CONELIMMODE mode)
Changes the constraint elimination mode to mode. More...

VARELIMMODE varElimMode () const
Returns the mode for the elimination of variables. More...

void varElimMode (VARELIMMODE mode)
Changes the variable elimination mode to mode. More...

double conElimEps () const
Returns the zero tolerance for the elimination of constraints by the slack criterion. More...

void conElimEps (double eps)
Changes the tolerance for the elimination of constraints by the slack criterion to eps. More...

double varElimEps () const
Returns the zero tolerance for the elimination of variables by the reduced cost criterion. More...

void varElimEps (double eps)
Changes the tolerance for the elimination of variables by the reduced cost criterion to eps. More...

int varElimAge () const
Returns the age for the elimination of variables by the reduced cost criterion. More...

void varElimAge (int age)
Changes the age for the elimination of variables by the reduced cost criterion to age. More...

int conElimAge () const
Returns the age for the elimination of constraints. More...

void conElimAge (int age)
Changes the age for the elimination of constraints to age. More...

bool fixSetByRedCost () const

void fixSetByRedCost (bool on)
Turns fixing and setting variables by reduced cost on or off. More...

bool printLP () const

void printLP (bool on)
Turns the output of the linear program in every iteration on or off. More...

Returns the maximal number of constraints which should be added in every iteration of the cutting plane algorithm. More...

Sets the maximal number of constraints that are added in an iteration of the cutting plane algorithm. More...

int maxConBuffered () const
Returns the size of the buffer for generated constraints in the cutting plane algorithm. More...

void maxConBuffered (int max)
Changes the maximal number of constraints that are buffered in an iteration of the cutting plane algorithm. More...

Returns the maximal number of variables which should be added in the column generation algorithm. More...

Changes the maximal number of variables that are added in an iteration of the subproblem optimization. More...

int maxVarBuffered () const
Returns the size of the buffer for the variables generated in the column generation algorithm. More...

void maxVarBuffered (int max)
Changes the maximal number of variables that are buffered in an iteration of the subproblem optimization. More...

int maxIterations () const
Returns the maximal number of iterations per subproblem optimization (-1 means no iteration limit). More...

void maxIterations (int max)
Changes the default value for the maximal number of iterations of the optimization of a subproblem. More...

bool eliminateFixedSet () const

void eliminateFixedSet (bool turnOn)
Turns the elimination of fixed and set variables on or off. More...

bool newRootReOptimize () const

void newRootReOptimize (bool on)
Turns the reoptimization of new root nodes of the remaining branch and bound tree on or off. More...

const string & optimumFileName () const
Returns the name of the file that stores the optimum solutions. More...

void optimumFileName (const char *name)
Changes the name of the file in which the value of the optimum solution is searched. More...

bool showAverageCutDistance () const

void showAverageCutDistance (bool on)
Turns the output of the average distance of the added cuts from the fractional solution on or off. More...

VBCMODE vbcLog () const
Returns the mode of output for the Vbc-Tool. More...

void vbcLog (VBCMODE mode)
Changes the mode of output for the Vbc-Tool to mode. More...

virtual bool setSolverParameters (OsiSolverInterface *interface, bool solverIsApprox)
Sets solver specific parameters. More...

Public Member Functions inherited from abacus::AbacusGlobal
AbacusGlobal (double eps=1.0e-4, double machineEps=1.0e-7, double infinity=1.0e32)
The constructor. More...

virtual ~AbacusGlobal ()
The destructor. More...

void assignParameter (bool &param, const char *name) const
See AbacusGlobal::assignParameter(int&,const char*,int,int) for a description. More...

void assignParameter (bool &param, const char *name, bool defVal) const
See AbacusGlobal::assignParameter(int&,const char*,int,int) for a description. More...

void assignParameter (char &param, const char *name, const char *feasible, char defVal) const
See AbacusGlobal::assignParameter(int&,const char*,int,int) for a description. More...

void assignParameter (char &param, const char *name, const char *feasible=nullptr) const
See AbacusGlobal::assignParameter(int&,const char*,int,int) for a description. More...

void assignParameter (double &param, const char *name, double minVal, double maxVal) const
See AbacusGlobal::assignParameter(int&,const char*,int,int) for a description. More...

void assignParameter (double &param, const char *name, double minVal, double maxVal, double defVal) const
See AbacusGlobal::assignParameter(int&,const char*,int,int) for a description. More...

void assignParameter (int &param, const char *name, int minVal, int maxVal) const
Searches for parameter name in the parameter table and returns its value in param. More...

void assignParameter (int &param, const char *name, int minVal, int maxVal, int defVal) const
See AbacusGlobal::assignParameter(int&,const char*,int,int) for a description. More...

void assignParameter (string &param, const char *name, unsigned nFeasible, const char *feasible[], const char *defVal) const
See AbacusGlobal::assignParameter(int&,const char*,int,int) for a description. More...

void assignParameter (string &param, const char *name, unsigned nFeasible=0, const char *feasible[]=nullptr) const
See AbacusGlobal::assignParameter(int&,const char*,int,int) for a description. More...

void assignParameter (unsigned &param, const char *name, unsigned minVal, unsigned maxVal) const
See AbacusGlobal::assignParameter(int&,const char*,int,int) for a description. More...

void assignParameter (unsigned &param, const char *name, unsigned minVal, unsigned maxVal, unsigned defVal) const
See AbacusGlobal::assignParameter(int&,const char*,int,int) for a description. More...

double eps () const
Returns the zero tolerance. More...

void eps (double e)
Sets the zero tolerance to e. More...

bool equal (double x, double y) const
Returns whether the absolute difference between x and y is less than the machine dependent zero tolerance. More...

int findParameter (const char *name, const char *feasible) const
See AbacusGlobal::findParameter(const char *name, unsigned nFeasible, const int *feasible) for description. More...

int findParameter (const char *name, unsigned nFeasible, const char *feasible[]) const
See AbacusGlobal::findParameter(const char *name, unsigned nFeasible, const int *feasible) for description. More...

int findParameter (const char *name, unsigned nFeasible, const int *feasible) const
Searches for parameter name in the parameter table. More...

int getParameter (const char *name, bool &param) const

int getParameter (const char *name, char &param) const

int getParameter (const char *name, double &param) const

int getParameter (const char *name, int &param) const
Searches for parameter name in the parameter table and returns its value in param. More...

int getParameter (const char *name, string &param) const

int getParameter (const char *name, unsigned int &param) const

double infinity () const
Provides a floating point value of "infinite" size. More...

void infinity (double x)
Sets the "infinite value" to x. More...

void insertParameter (const char *name, const char *value)
Inserts parameter name with value value into the parameter table. More...

bool isInfinity (double x) const
Returns true if x is regarded as "infinite" large, false otherwise. More...

bool isInteger (double x) const
Returns whether the value x differs at most by the machine dependent zero tolerance from an integer value. More...

bool isInteger (double x, double eps) const
Returns whether the value x differs at most by eps from an integer value. More...

bool isMinusInfinity (double x) const
Returns true if x is regarded as infinite small, false otherwise. More...

double machineEps () const
Provides a machine dependent zero tolerance. More...

void machineEps (double e)
Sets the machine dependent zero tolerance to e. More...

Opens the parameter file fileName, reads all parameters, and inserts them in the parameter table. More...

Public Member Functions inherited from abacus::AbacusRoot
virtual ~AbacusRoot ()
The destructor. More...

## Public Attributes

solutionState m_solState

## Protected Member Functions

void clearActiveRepairs ()

virtual void createInitialVariables (List< CPlanarEdgeVar * > &initVars)=0
All variables that have to be present at start of optimization are created here. More...

double getDoubleTime (const Stopwatch *act)

virtual bool goodVar (node a, node b)

virtual double heuristicInitialLowerBound ()

virtual double heuristicInitialUpperBound ()

virtual void initializeOptimization () override=0
The default implementation of initializeOptimization() does nothing. More...

virtual bool isCP ()=0
Derives and returns c-planarity property either directly or indirectly from computation results. More...

virtual void terminateOptimization () override
Function that is invoked at the end of the optimization. Does nothing but output in CP_MasterBase. More...

Protected Member Functions inherited from abacus::Master
virtual void initializePools (ArrayBuffer< Constraint * > &constraints, ArrayBuffer< Variable * > &variables, int varPoolSize, int cutPoolSize, bool dynamicCutPool=false)
Sets up the default pools for variables, constraints, and cutting planes. More...

virtual void initializePools (ArrayBuffer< Constraint * > &constraints, ArrayBuffer< Constraint * > &cuts, ArrayBuffer< Variable * > &variables, int varPoolSize, int cutPoolSize, bool dynamicCutPool=false)
Is overloaded such that also a first set of cutting planes can be inserted into the cutting plane pool. More...

void initializeOptSense (OptSense::SENSE sense)
Can be used to initialize the sense of the optimization in derived classes, if this has not been already performed when the constructor of Master has been called. More...

int bestFirstSearch (const Sub *s1, const Sub *s2) const
Implements the best first search enumeration. More...

virtual int equalSubCompare (const Sub *s1, const Sub *s2) const
Is called from the function bestFirstSearch() and from the function depthFirstSearch() if the subproblems s1 and s2 have the same priority. More...

int depthFirstSearch (const Sub *s1, const Sub *s2) const
Implements the depth first search enumeration strategy, i.e., the subproblem with maximum level is selected. More...

int breadthFirstSearch (const Sub *s1, const Sub *s2) const
Implements the breadth first search enumeration strategy, i.e., the subproblem with minimum level is selected. More...

int diveAndBestFirstSearch (const Sub *s1, const Sub *s2) const
Performs depth-first search until a feasible solution is found, then the search process is continued with best-first search. More...

virtual void initializeParameters ()
Is only a dummy. More...

virtual SubfirstSub ()=0
Should return a pointer to the first subproblem of the optimization, i.e., the root node of the enumeration tree. More...

virtual void assignParameters ()
Assigns the parameters that were read from a file to the member variables of the master. More...

## Protected Attributes

double globalDualBound

double globalPrimalBound

int m_activeRepairs

double m_branchingGap

const ClusterGraphm_C
Pointers to the given Clustergraph and underlying Graph are stored. More...

List< NodePairm_connectionOneEdges
stores optimization success state More...

abacus::StandardPool< abacus::Constraint, abacus::Variable > * m_cutConnPool
Cut pools for connectivity and Kuratowski constraints. More...

abacus::StandardPool< abacus::Constraint, abacus::Variable > * m_cutKuraPool
Kuratowski Cuts. More...

const Graphm_G

double m_heuristicFractionalBound

int m_heuristicLevel

List< NodePairm_inactiveVariables

double m_kuratowskiBoundHigh

double m_kuratowskiBoundLow

string * m_maxCpuTime
Time threshold for optimization. More...

bool m_mpHeuristic
Indicates if simple max planar subgraph heuristic should be used to derive lower bound if only root cluster exists. More...

int m_nHeuristicPermutationLists

int m_nHeuristicRuns

int m_nKuratowskiIterations

int m_nKuratowskiSupportGraphs
Keeps track of created variables. More...

int m_nMaxVars

int m_nSubdivisions

ArrayBuffer< int > m_repairStat

GraphCopym_solutionGraph

int m_solvesLP

double m_strongConstraintViolation

double m_strongVariableViolation

bool m_usePerturbation

NodeArray< NodeArray< bool > > m_varCreated
Keeps track of variables that are currently inactive during optimization. More...

int m_varsBranch

int m_varsCut

int m_varsInit

int m_varsKura

int m_varsMax

int m_varsPotential

int m_varsPrice

## Private Member Functions

virtual double clusterConnection (cluster c, GraphCopy &GC)

virtual void createCompConnVars (List< CPlanarEdgeVar * > &initVars)
Creates variables for complete connectivity. More...

virtual CPlanarEdgeVarcreateVariable (ListIterator< NodePair > &it)
Variable creation for nodePair. More...

virtual CPlanarEdgeVarcreateVariable (node a, node b)
Variable creation for pair of nodes which is not stored in m_inactiveVariables. More...

virtual void getCoefficients (abacus::Constraint *con, const List< CPlanarEdgeVar * > &connect, List< double > &coeffs)
writes coefficients of all orig and connect variables in constraint con into emptied list coeffs More...

virtual double nextConnectCoeff ()

virtual void nodeDistances (node u, NodeArray< NodeArray< int > > &dist)

## Private Attributes

double m_epsilon

bool m_porta
If set to true, PORTA output is written in a file. More...

bool m_useDefaultCutPool
Defines if the ABACUS default cut pool or the separate Connectivity and Kuratowski constraint pools are used. More...

Static Public Member Functions inherited from abacus::AbacusRoot
static bool ascii2bool (const string &str)
Converts the string str to a boolean value. More...

static bool endsWith (const string &str, const string &end)
Returns true if str ends with end, false otherwise. More...

static double fracPart (double x)
Returns the absolute value of the fractional part of x. More...

static const char * onOff (bool value)
Converts a boolean variable to the strings "on" and "off". More...

Static Public Attributes inherited from abacus::Master
static const char * BRANCHINGSTRAT_ []
Literal values for the enumerators of the corresponding enumeration type. More...

static const char * CONELIMMODE_ []
Literal values for the enumerators of the corresponding enumeration type. More...

static const char * ENUMSTRAT_ []
Literal values for the enumerators of the corresponding enumeration type. More...

static const char * OSISOLVER_ []
Array for the literal values for possible Osi solvers. More...

static const char * PRIMALBOUNDMODE_ []
Literal values for the enumerators of the corresponding enumeration type. More...

static const char * SKIPPINGMODE_ []
Literal values for the enumerators of the corresponding enumeration type. More...

static const char * STATUS_ []
Literal values for the enumerators of the corresponding enumeration type. More...

static const char * VARELIMMODE_ []
Literal values for the enumerators of the corresponding enumeration type. More...

static const char * VBCMODE_ []
Literal values for the enumerators of the corresponding enumeration type. More...

## Detailed Description

Definition at line 46 of file CP_MasterBase.h.

## ◆ solutionState

 strong
Enumerator
Undefined
CPlanar
NonCPlanar

Definition at line 49 of file CP_MasterBase.h.

## ◆ CP_MasterBase()

 ogdf::cluster_planarity::CP_MasterBase::CP_MasterBase ( const ClusterGraph & C, int heuristicLevel = 1, int heuristicRuns = 2, double heuristicOEdgeBound = 0.3, int heuristicNPermLists = 5, int kuratowskiIterations = 3, int subdivisions = 10, int kSupportGraphs = 3, double kuratowskiHigh = 0.7, double kuratowskiLow = 0.3, bool perturbation = false, double branchingGap = 0.4, const char * time = "00:05:00" )
explicit

Construction and default values.

## ◆ ~CP_MasterBase()

 virtual ogdf::cluster_planarity::CP_MasterBase::~CP_MasterBase ( )
virtual

Destruction.

## Member Function Documentation

inline

Definition at line 120 of file CP_MasterBase.h.

inline

Definition at line 119 of file CP_MasterBase.h.

## ◆ clearActiveRepairs()

 void ogdf::cluster_planarity::CP_MasterBase::clearActiveRepairs ( )
inlineprotected

Definition at line 272 of file CP_MasterBase.h.

## ◆ clusterConnection()

 virtual double ogdf::cluster_planarity::CP_MasterBase::clusterConnection ( cluster c, GraphCopy & GC )
privatevirtual

## ◆ createCompConnVars()

 virtual void ogdf::cluster_planarity::CP_MasterBase::createCompConnVars ( List< CPlanarEdgeVar * > & initVars )
privatevirtual

Creates variables for complete connectivity.

Reimplemented in ogdf::cluster_planarity::CPlanarityMaster.

## ◆ createInitialVariables()

 virtual void ogdf::cluster_planarity::CP_MasterBase::createInitialVariables ( List< CPlanarEdgeVar * > & initVars )
protectedpure virtual

All variables that have to be present at start of optimization are created here.

Implemented in ogdf::cluster_planarity::CPlanarityMaster.

## ◆ createVariable() [1/2]

 virtual CPlanarEdgeVar* ogdf::cluster_planarity::CP_MasterBase::createVariable ( ListIterator< NodePair > & it )
inlineprivatevirtual

Variable creation for nodePair.

Reimplemented in ogdf::cluster_planarity::CPlanarityMaster.

Definition at line 326 of file CP_MasterBase.h.

## ◆ createVariable() [2/2]

 virtual CPlanarEdgeVar* ogdf::cluster_planarity::CP_MasterBase::createVariable ( node a, node b )
inlineprivatevirtual

Variable creation for pair of nodes which is not stored in m_inactiveVariables.

Reimplemented in ogdf::cluster_planarity::CPlanarityMaster.

Definition at line 336 of file CP_MasterBase.h.

## ◆ epsilon()

 double ogdf::cluster_planarity::CP_MasterBase::epsilon ( ) const
inline

Returns the objective function coefficient of C-edges.

Definition at line 76 of file CP_MasterBase.h.

## ◆ getClusterGraph()

 const ClusterGraph* ogdf::cluster_planarity::CP_MasterBase::getClusterGraph ( ) const
inline

Returns a pointer to the given Clustergraph.

Definition at line 85 of file CP_MasterBase.h.

## ◆ getCoefficients()

 virtual void ogdf::cluster_planarity::CP_MasterBase::getCoefficients ( abacus::Constraint * con, const List< CPlanarEdgeVar * > & connect, List< double > & coeffs )
privatevirtual

writes coefficients of all orig and connect variables in constraint con into emptied list coeffs

Reimplemented in ogdf::cluster_planarity::CPlanarityMaster.

## ◆ getConnectionOptimalSolutionEdges()

 virtual void ogdf::cluster_planarity::CP_MasterBase::getConnectionOptimalSolutionEdges ( List< NodePair > & edges ) const
virtual

Returns nodePairs of connecting optimal solution edges in list edges.

Reimplemented in ogdf::cluster_planarity::CPlanarityMaster.

## ◆ getCutConnPool()

 abacus::StandardPool* ogdf::cluster_planarity::CP_MasterBase::getCutConnPool ( )
inline

Returns cut pool for connectivity.

Definition at line 154 of file CP_MasterBase.h.

## ◆ getCutKuraPool()

 abacus::StandardPool* ogdf::cluster_planarity::CP_MasterBase::getCutKuraPool ( )
inline

Returns cut pool for planarity.

Definition at line 156 of file CP_MasterBase.h.

## ◆ getDoubleTime()

 double ogdf::cluster_planarity::CP_MasterBase::getDoubleTime ( const Stopwatch * act )
inlineprotected

Definition at line 282 of file CP_MasterBase.h.

## ◆ getDualBound()

 double ogdf::cluster_planarity::CP_MasterBase::getDualBound ( )
inline

Definition at line 150 of file CP_MasterBase.h.

## ◆ getGraph()

 const Graph* ogdf::cluster_planarity::CP_MasterBase::getGraph ( ) const
inline

Returns a pointer to the underlying Graph.

Definition at line 82 of file CP_MasterBase.h.

## ◆ getHeuristicFractionalBound()

 double ogdf::cluster_planarity::CP_MasterBase::getHeuristicFractionalBound ( ) const
inline

Definition at line 111 of file CP_MasterBase.h.

## ◆ getHeuristicLevel()

 int ogdf::cluster_planarity::CP_MasterBase::getHeuristicLevel ( ) const
inline

Definition at line 103 of file CP_MasterBase.h.

## ◆ getHeuristicRuns()

 int ogdf::cluster_planarity::CP_MasterBase::getHeuristicRuns ( ) const
inline

Definition at line 104 of file CP_MasterBase.h.

## ◆ getKBoundHigh()

 double ogdf::cluster_planarity::CP_MasterBase::getKBoundHigh ( ) const
inline

Definition at line 105 of file CP_MasterBase.h.

## ◆ getKBoundLow()

 double ogdf::cluster_planarity::CP_MasterBase::getKBoundLow ( ) const
inline

Definition at line 106 of file CP_MasterBase.h.

## ◆ getKIterations()

 int ogdf::cluster_planarity::CP_MasterBase::getKIterations ( ) const
inline

Definition at line 100 of file CP_MasterBase.h.

## ◆ getMPHeuristic()

 bool ogdf::cluster_planarity::CP_MasterBase::getMPHeuristic ( ) const
inline

Definition at line 113 of file CP_MasterBase.h.

## ◆ getNKuratowskiSupportGraphs()

 int ogdf::cluster_planarity::CP_MasterBase::getNKuratowskiSupportGraphs ( ) const
inline

Definition at line 102 of file CP_MasterBase.h.

## ◆ getNSubdivisions()

 int ogdf::cluster_planarity::CP_MasterBase::getNSubdivisions ( ) const
inline

Definition at line 101 of file CP_MasterBase.h.

inline

Definition at line 114 of file CP_MasterBase.h.

## ◆ getNumInactiveVars()

 int ogdf::cluster_planarity::CP_MasterBase::getNumInactiveVars ( )
inline

Definition at line 180 of file CP_MasterBase.h.

## ◆ getPrimalBound()

 double ogdf::cluster_planarity::CP_MasterBase::getPrimalBound ( )
inline

Definition at line 149 of file CP_MasterBase.h.

## ◆ getStdConstraintsFileName()

 const char* ogdf::cluster_planarity::CP_MasterBase::getStdConstraintsFileName ( )
inline

The name of the file that contains the standard, i.e., non-cut, constraints (may be deleted by ABACUS and shouldn't be stored twice)

Definition at line 175 of file CP_MasterBase.h.

## ◆ getStrongConstraintViolation()

 double ogdf::cluster_planarity::CP_MasterBase::getStrongConstraintViolation ( ) const
inline

Definition at line 115 of file CP_MasterBase.h.

## ◆ getStrongVariableViolation()

 double ogdf::cluster_planarity::CP_MasterBase::getStrongVariableViolation ( ) const
inline

Definition at line 116 of file CP_MasterBase.h.

## ◆ goodVar()

 virtual bool ogdf::cluster_planarity::CP_MasterBase::goodVar ( node a, node b )
inlineprotectedvirtual

Reimplemented in ogdf::cluster_planarity::CPlanarityMaster.

Definition at line 227 of file CP_MasterBase.h.

## ◆ heuristicInitialLowerBound()

 virtual double ogdf::cluster_planarity::CP_MasterBase::heuristicInitialLowerBound ( )
protectedvirtual

## ◆ heuristicInitialUpperBound()

 virtual double ogdf::cluster_planarity::CP_MasterBase::heuristicInitialUpperBound ( )
protectedvirtual

## ◆ heuristicLevel()

 void ogdf::cluster_planarity::CP_MasterBase::heuristicLevel ( int level )
inline

Definition at line 130 of file CP_MasterBase.h.

## ◆ initializeOptimization()

 virtual void ogdf::cluster_planarity::CP_MasterBase::initializeOptimization ( )
overrideprotectedpure virtual

The default implementation of initializeOptimization() does nothing.

This virtual function can be used as an entrance point to perform some initializations after optimize() is called.

Reimplemented from abacus::Master.

Implemented in ogdf::cluster_planarity::CPlanarityMaster.

## ◆ intGap()

 double ogdf::cluster_planarity::CP_MasterBase::intGap ( )
inline

Returns a value that allows to distinguish result values when connection edges (tiny negative cost) are added.

Definition at line 164 of file CP_MasterBase.h.

## ◆ isCP()

 virtual bool ogdf::cluster_planarity::CP_MasterBase::isCP ( )
protectedpure virtual

Derives and returns c-planarity property either directly or indirectly from computation results.

Implemented in ogdf::cluster_planarity::CPlanarityMaster.

## ◆ nextConnectCoeff()

 virtual double ogdf::cluster_planarity::CP_MasterBase::nextConnectCoeff ( )
inlineprivatevirtual

Reimplemented in ogdf::cluster_planarity::CPlanarityMaster.

Definition at line 321 of file CP_MasterBase.h.

## ◆ nMaxVars()

 int ogdf::cluster_planarity::CP_MasterBase::nMaxVars ( ) const
inline

Returns the number of variables.

Definition at line 79 of file CP_MasterBase.h.

## ◆ nodeDistances()

 virtual void ogdf::cluster_planarity::CP_MasterBase::nodeDistances ( node u, NodeArray< NodeArray< int > > & dist )
privatevirtual

## ◆ numberOfHeuristicPermutationLists()

 int ogdf::cluster_planarity::CP_MasterBase::numberOfHeuristicPermutationLists ( ) const
inline

Definition at line 112 of file CP_MasterBase.h.

## ◆ perturbation()

 bool ogdf::cluster_planarity::CP_MasterBase::perturbation ( ) const
inline

Definition at line 107 of file CP_MasterBase.h.

## ◆ setHeuristicFractionalBound()

 void ogdf::cluster_planarity::CP_MasterBase::setHeuristicFractionalBound ( double b )
inline

Definition at line 133 of file CP_MasterBase.h.

## ◆ setHeuristicPermutationLists()

 void ogdf::cluster_planarity::CP_MasterBase::setHeuristicPermutationLists ( int n )
inline

Definition at line 134 of file CP_MasterBase.h.

## ◆ setHeuristicRuns()

 void ogdf::cluster_planarity::CP_MasterBase::setHeuristicRuns ( int n )
inline

Definition at line 131 of file CP_MasterBase.h.

## ◆ setKBoundHigh()

 void ogdf::cluster_planarity::CP_MasterBase::setKBoundHigh ( double n )
inline

Definition at line 128 of file CP_MasterBase.h.

## ◆ setKBoundLow()

 void ogdf::cluster_planarity::CP_MasterBase::setKBoundLow ( double n )
inline

Definition at line 129 of file CP_MasterBase.h.

## ◆ setKIterations()

 void ogdf::cluster_planarity::CP_MasterBase::setKIterations ( int n )
inline

Definition at line 124 of file CP_MasterBase.h.

## ◆ setMPHeuristic()

 void ogdf::cluster_planarity::CP_MasterBase::setMPHeuristic ( bool b )
inline

Switches use of lower bound heuristic.

Definition at line 136 of file CP_MasterBase.h.

## ◆ setNHeuristicRuns()

 void ogdf::cluster_planarity::CP_MasterBase::setNHeuristicRuns ( int n )
inline

Definition at line 127 of file CP_MasterBase.h.

## ◆ setNKuratowskiSupportGraphs()

 void ogdf::cluster_planarity::CP_MasterBase::setNKuratowskiSupportGraphs ( int n )
inline

Definition at line 126 of file CP_MasterBase.h.

## ◆ setNSubdivisions()

 void ogdf::cluster_planarity::CP_MasterBase::setNSubdivisions ( int n )
inline

Definition at line 125 of file CP_MasterBase.h.

 void ogdf::cluster_planarity::CP_MasterBase::setNumAddVariables ( int i )
inline

Definition at line 137 of file CP_MasterBase.h.

## ◆ setPertubation()

 void ogdf::cluster_planarity::CP_MasterBase::setPertubation ( bool b )
inline

Definition at line 132 of file CP_MasterBase.h.

## ◆ setPortaFile()

 void ogdf::cluster_planarity::CP_MasterBase::setPortaFile ( bool b )
inline

If set to true, PORTA output is written in a file.

Definition at line 142 of file CP_MasterBase.h.

## ◆ setStrongConstraintViolation()

 void ogdf::cluster_planarity::CP_MasterBase::setStrongConstraintViolation ( double d )
inline

Definition at line 138 of file CP_MasterBase.h.

## ◆ setStrongVariableViolation()

 void ogdf::cluster_planarity::CP_MasterBase::setStrongVariableViolation ( double d )
inline

Definition at line 139 of file CP_MasterBase.h.

## ◆ setTimeLimit()

 void ogdf::cluster_planarity::CP_MasterBase::setTimeLimit ( const char * s )
inline

Definition at line 97 of file CP_MasterBase.h.

## ◆ solutionInducedGraph()

 virtual Graph* ogdf::cluster_planarity::CP_MasterBase::solutionInducedGraph ( )
inlinevirtual

Returns the optimal solution induced Clustergraph.

Reimplemented in ogdf::cluster_planarity::CPlanarityMaster.

Definition at line 92 of file CP_MasterBase.h.

## ◆ terminateOptimization()

 virtual void ogdf::cluster_planarity::CP_MasterBase::terminateOptimization ( )
overrideprotectedvirtual

Function that is invoked at the end of the optimization. Does nothing but output in CP_MasterBase.

Reimplemented from abacus::Master.

Reimplemented in ogdf::cluster_planarity::CPlanarityMaster.

 void ogdf::cluster_planarity::CP_MasterBase::updateAddedCCons ( int n )
inline

Definition at line 145 of file CP_MasterBase.h.

 void ogdf::cluster_planarity::CP_MasterBase::updateAddedKCons ( int n )
inline

Definition at line 146 of file CP_MasterBase.h.

## ◆ updateBestSubGraph()

 virtual void ogdf::cluster_planarity::CP_MasterBase::updateBestSubGraph ( List< NodePair > & connection )
virtual

Updates the "best" Subgraph m_solutionGraph found so far and fills connection with.

Reimplemented in ogdf::cluster_planarity::CPlanarityMaster.

## ◆ useDefaultCutPool()

 bool& ogdf::cluster_planarity::CP_MasterBase::useDefaultCutPool ( )
inline

Returns true if default cut pool is used. Otherwise, separate connectivity and Kuratowski pools are generated and used.

Definition at line 160 of file CP_MasterBase.h.

## ◆ globalDualBound

 double ogdf::cluster_planarity::CP_MasterBase::globalDualBound
protected

Definition at line 280 of file CP_MasterBase.h.

## ◆ globalPrimalBound

 double ogdf::cluster_planarity::CP_MasterBase::globalPrimalBound
protected

Definition at line 279 of file CP_MasterBase.h.

## ◆ m_activeRepairs

 int ogdf::cluster_planarity::CP_MasterBase::m_activeRepairs
protected

Definition at line 270 of file CP_MasterBase.h.

## ◆ m_branchingGap

 double ogdf::cluster_planarity::CP_MasterBase::m_branchingGap
protected

Definition at line 246 of file CP_MasterBase.h.

## ◆ m_C

 const ClusterGraph* ogdf::cluster_planarity::CP_MasterBase::m_C
protected

Pointers to the given Clustergraph and underlying Graph are stored.

Definition at line 189 of file CP_MasterBase.h.

## ◆ m_connectionOneEdges

 List ogdf::cluster_planarity::CP_MasterBase::m_connectionOneEdges
protected

stores optimization success state

Definition at line 186 of file CP_MasterBase.h.

## ◆ m_cutConnPool

 abacus::StandardPool< abacus::Constraint, abacus::Variable >* ogdf::cluster_planarity::CP_MasterBase::m_cutConnPool
protected

Cut pools for connectivity and Kuratowski constraints.

Connectivity Cuts

Definition at line 198 of file CP_MasterBase.h.

## ◆ m_cutKuraPool

 abacus::StandardPool< abacus::Constraint, abacus::Variable >* ogdf::cluster_planarity::CP_MasterBase::m_cutKuraPool
protected

Kuratowski Cuts.

Definition at line 199 of file CP_MasterBase.h.

## ◆ m_epsilon

 double ogdf::cluster_planarity::CP_MasterBase::m_epsilon
private

Definition at line 303 of file CP_MasterBase.h.

## ◆ m_G

 const Graph* ogdf::cluster_planarity::CP_MasterBase::m_G
protected

Definition at line 190 of file CP_MasterBase.h.

## ◆ m_heuristicFractionalBound

 double ogdf::cluster_planarity::CP_MasterBase::m_heuristicFractionalBound
protected

Definition at line 247 of file CP_MasterBase.h.

## ◆ m_heuristicLevel

 int ogdf::cluster_planarity::CP_MasterBase::m_heuristicLevel
protected

Definition at line 242 of file CP_MasterBase.h.

## ◆ m_inactiveVariables

 List ogdf::cluster_planarity::CP_MasterBase::m_inactiveVariables
protected

Definition at line 229 of file CP_MasterBase.h.

## ◆ m_kuratowskiBoundHigh

 double ogdf::cluster_planarity::CP_MasterBase::m_kuratowskiBoundHigh
protected

Definition at line 251 of file CP_MasterBase.h.

## ◆ m_kuratowskiBoundLow

 double ogdf::cluster_planarity::CP_MasterBase::m_kuratowskiBoundLow
protected

Definition at line 252 of file CP_MasterBase.h.

## ◆ m_maxCpuTime

 string* ogdf::cluster_planarity::CP_MasterBase::m_maxCpuTime
protected

Time threshold for optimization.

Definition at line 201 of file CP_MasterBase.h.

## ◆ m_mpHeuristic

 bool ogdf::cluster_planarity::CP_MasterBase::m_mpHeuristic
protected

Indicates if simple max planar subgraph heuristic should be used to derive lower bound if only root cluster exists.

Definition at line 249 of file CP_MasterBase.h.

protected

Definition at line 259 of file CP_MasterBase.h.

## ◆ m_nHeuristicPermutationLists

 int ogdf::cluster_planarity::CP_MasterBase::m_nHeuristicPermutationLists
protected

Definition at line 248 of file CP_MasterBase.h.

## ◆ m_nHeuristicRuns

 int ogdf::cluster_planarity::CP_MasterBase::m_nHeuristicRuns
protected

Definition at line 243 of file CP_MasterBase.h.

protected

Definition at line 260 of file CP_MasterBase.h.

## ◆ m_nKuratowskiIterations

 int ogdf::cluster_planarity::CP_MasterBase::m_nKuratowskiIterations
protected

Definition at line 239 of file CP_MasterBase.h.

## ◆ m_nKuratowskiSupportGraphs

 int ogdf::cluster_planarity::CP_MasterBase::m_nKuratowskiSupportGraphs
protected

Keeps track of created variables.

Definition at line 238 of file CP_MasterBase.h.

## ◆ m_nMaxVars

 int ogdf::cluster_planarity::CP_MasterBase::m_nMaxVars
protected

Definition at line 241 of file CP_MasterBase.h.

## ◆ m_nSubdivisions

 int ogdf::cluster_planarity::CP_MasterBase::m_nSubdivisions
protected

Definition at line 240 of file CP_MasterBase.h.

protected

Definition at line 254 of file CP_MasterBase.h.

## ◆ m_porta

 bool ogdf::cluster_planarity::CP_MasterBase::m_porta
private

If set to true, PORTA output is written in a file.

Definition at line 356 of file CP_MasterBase.h.

## ◆ m_repairStat

 ArrayBuffer ogdf::cluster_planarity::CP_MasterBase::m_repairStat
protected

Definition at line 271 of file CP_MasterBase.h.

## ◆ m_solState

 solutionState ogdf::cluster_planarity::CP_MasterBase::m_solState

Definition at line 182 of file CP_MasterBase.h.

## ◆ m_solutionGraph

 GraphCopy* ogdf::cluster_planarity::CP_MasterBase::m_solutionGraph
protected

Definition at line 195 of file CP_MasterBase.h.

## ◆ m_solvesLP

 int ogdf::cluster_planarity::CP_MasterBase::m_solvesLP
protected

Definition at line 261 of file CP_MasterBase.h.

## ◆ m_strongConstraintViolation

 double ogdf::cluster_planarity::CP_MasterBase::m_strongConstraintViolation
protected

Definition at line 255 of file CP_MasterBase.h.

## ◆ m_strongVariableViolation

 double ogdf::cluster_planarity::CP_MasterBase::m_strongVariableViolation
protected

Definition at line 256 of file CP_MasterBase.h.

## ◆ m_useDefaultCutPool

 bool ogdf::cluster_planarity::CP_MasterBase::m_useDefaultCutPool
private

Defines if the ABACUS default cut pool or the separate Connectivity and Kuratowski constraint pools are used.

Definition at line 312 of file CP_MasterBase.h.

## ◆ m_usePerturbation

 bool ogdf::cluster_planarity::CP_MasterBase::m_usePerturbation
protected

Definition at line 245 of file CP_MasterBase.h.

## ◆ m_varCreated

 NodeArray< NodeArray > ogdf::cluster_planarity::CP_MasterBase::m_varCreated
protected

Keeps track of variables that are currently inactive during optimization.

Definition at line 234 of file CP_MasterBase.h.

protected

Definition at line 263 of file CP_MasterBase.h.

## ◆ m_varsBranch

 int ogdf::cluster_planarity::CP_MasterBase::m_varsBranch
protected

Definition at line 269 of file CP_MasterBase.h.

## ◆ m_varsCut

 int ogdf::cluster_planarity::CP_MasterBase::m_varsCut
protected

Definition at line 266 of file CP_MasterBase.h.

## ◆ m_varsInit

 int ogdf::cluster_planarity::CP_MasterBase::m_varsInit
protected

Definition at line 262 of file CP_MasterBase.h.

## ◆ m_varsKura

 int ogdf::cluster_planarity::CP_MasterBase::m_varsKura
protected

Definition at line 267 of file CP_MasterBase.h.

## ◆ m_varsMax

 int ogdf::cluster_planarity::CP_MasterBase::m_varsMax
protected

Definition at line 265 of file CP_MasterBase.h.

## ◆ m_varsPotential

 int ogdf::cluster_planarity::CP_MasterBase::m_varsPotential
protected

Definition at line 264 of file CP_MasterBase.h.

## ◆ m_varsPrice

 int ogdf::cluster_planarity::CP_MasterBase::m_varsPrice
protected

Definition at line 268 of file CP_MasterBase.h.

The documentation for this class was generated from the following file: