clang::dataflow::Operation Struct Reference

Public Member Functions
	Operation (Formula::Kind Kind)

Public Attributes
const Formula::Kind	Kind
const unsigned	ExpectedNumOperands = Formula::numOperands(Kind)
std::vector< const Formula * >	Operands

Detailed Description

Definition at line 81 of file FormulaSerialization.cpp.

Constructor & Destructor Documentation

Operation()

clang::dataflow::Operation::Operation ( Formula::Kind Kind )

inline

Definition at line 82 of file FormulaSerialization.cpp.

References Kind.

Member Data Documentation

ExpectedNumOperands

const unsigned clang::dataflow::Operation::ExpectedNumOperands = Formula::numOperands(Kind)

Definition at line 84 of file FormulaSerialization.cpp.

Kind

const Formula::Kind clang::dataflow::Operation::Kind

Definition at line 83 of file FormulaSerialization.cpp.

Referenced by Operation(), and clang::dataflow::parseFormulaInternal().

Operands

std::vector<const Formula *> clang::dataflow::Operation::Operands

Definition at line 85 of file FormulaSerialization.cpp.

Referenced by clang::dataflow::parseFormulaInternal().

---

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

• lib/Analysis/FlowSensitive/FormulaSerialization.cpp