LoadedCliqueAbstraction.cpp File Reference

#include "LoadedCliqueAbstraction.h"
#include "Heap.h"
#include "FPUtil.h"
#include <cmath>
#include <memory>
#include <vector>
#include <assert.h>
#include <string.h>

Include dependency graph for LoadedCliqueAbstraction.cpp:

Go to the source code of this file.

Enumerations
enum	{ kQuiet = 0x00, kBuildGraph = 0x01, kRepairGraph = 0x02, kMiscMessages = 0x04 }

Variables
const static int	verbose = kMiscMessages

Enumeration Type Documentation

anonymous enum

anonymous enum

Enumerator
kQuiet
kBuildGraph
kRepairGraph
kMiscMessages

Definition at line 25 of file LoadedCliqueAbstraction.cpp.

Variable Documentation

verbose

const static int verbose = kMiscMessages

static

Definition at line 32 of file LoadedCliqueAbstraction.cpp.

Referenced by LoadedCliqueAbstraction::abstractUpEdge(), LoadedCliqueAbstraction::addNodeToRepairQ(), LoadedCliqueAbstraction::addTunnel(), LoadedCliqueAbstraction::buildAbstractions(), LoadedCliqueAbstraction::cliqueAbstractGraph(), LoadedCliqueAbstraction::getChildGroups(), LoadedCliqueAbstraction::insertNodeIntoHierarchy(), LoadedCliqueAbstraction::mergeGroupIntoNeighbor(), LoadedCliqueAbstraction::RemoveNode(), LoadedCliqueAbstraction::RepairAbstraction(), LoadedCliqueAbstraction::splitNode(), and LoadedCliqueAbstraction::transferGroup().