SVFGOPT.cpp File Reference

#include "Util/Options.h"
#include "Graphs/SVFGOPT.h"
#include "Graphs/SVFGStat.h"

Go to the source code of this file.

Variables
static std::string	KeepAllSelfCycle = "all"
static std::string	KeepContextSelfCycle = "context"
static std::string	KeepNoneSelfCycle = "none"

Variable Documentation

KeepAllSelfCycle

std::string KeepAllSelfCycle = "all"

static

Definition at line 42 of file SVFGOPT.cpp.

KeepContextSelfCycle

std::string KeepContextSelfCycle = "context"

static

Definition at line 43 of file SVFGOPT.cpp.

KeepNoneSelfCycle

std::string KeepNoneSelfCycle = "none"

static

Definition at line 44 of file SVFGOPT.cpp.