SimplifyConstraints.h File Reference

#include "clang/Analysis/FlowSensitive/Arena.h"
#include "clang/Analysis/FlowSensitive/Formula.h"
#include "llvm/ADT/SetVector.h"

Go to the source code of this file.

Classes
struct	clang::dataflow::SimplifyConstraintsInfo
	Information on the way a set of constraints was simplified. More...

Namespaces
namespace	clang
	The JSON file list parser is used to communicate input to InstallAPI.
namespace	clang::dataflow
	Dataflow Directional Tag Classes.

Functions
void	clang::dataflow::simplifyConstraints (llvm::SetVector< const Formula * > &Constraints, Arena &arena, SimplifyConstraintsInfo *Info=nullptr)
	Simplifies a set of constraints (implicitly connected by "and") in a way that does not change satisfiability of the constraints.