clang: include/clang/Analysis/FlowSensitive/SimplifyConstraints.h Source File (original) (raw)

Go to the documentation of this file.

1

2

3

4

5

6

7

8

9#ifndef LLVM_CLANG_ANALYSIS_FLOWSENSITIVE_SIMPLIFYCONSTRAINTS_H

10#define LLVM_CLANG_ANALYSIS_FLOWSENSITIVE_SIMPLIFYCONSTRAINTS_H

11

14#include "llvm/ADT/SetVector.h"

15

18

19

21

22

23

24

25

26

28

29

30

32

33

34

36};

37

38

39

40

41

42

45

46}

47}

48

49#endif

The Arena owns the objects that model data within an analysis.

Dataflow Directional Tag Classes.

void 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 satisfi...

The JSON file list parser is used to communicate input to InstallAPI.

Information on the way a set of constraints was simplified.

Definition SimplifyConstraints.h:20

llvm::SmallVector< Atom > TrueAtoms

Atoms that the original constraints imply must be true.

Definition SimplifyConstraints.h:31

llvm::SmallVector< llvm::SmallVector< Atom > > EquivalentAtoms

List of equivalence classes of atoms.

Definition SimplifyConstraints.h:27

llvm::SmallVector< Atom > FalseAtoms

Atoms that the original constraints imply must be false.

Definition SimplifyConstraints.h:35