llzk::IntervalAnalysisContext Struct Reference

Parameters and shared objects to pass to child analyses. More...

#include <IntervalAnalysis.h>

Collaboration diagram for llzk::IntervalAnalysisContext:

Public Member Functions
llvm::SMTExprRef	getSymbol (const ConstrainRef &r)
const Field &	getField () const

Public Attributes
IntervalDataFlowAnalysis *	intervalDFA
llvm::SMTSolverRef	smtSolver
std::reference_wrapper< const Field >	field

Detailed Description

Parameters and shared objects to pass to child analyses.

Definition at line 754 of file IntervalAnalysis.h.

Member Function Documentation

getField()

const Field & llzk::IntervalAnalysisContext::getField ( ) const

inline

Definition at line 760 of file IntervalAnalysis.h.

getSymbol()

llvm::SMTExprRef llzk::IntervalAnalysisContext::getSymbol ( const ConstrainRef & r )

inline

Definition at line 759 of file IntervalAnalysis.h.

Member Data Documentation

field

std::reference_wrapper<const Field> llzk::IntervalAnalysisContext::field

Definition at line 757 of file IntervalAnalysis.h.

intervalDFA

IntervalDataFlowAnalysis* llzk::IntervalAnalysisContext::intervalDFA

Definition at line 755 of file IntervalAnalysis.h.

smtSolver

llvm::SMTSolverRef llzk::IntervalAnalysisContext::smtSolver

Definition at line 756 of file IntervalAnalysis.h.

---

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

• include/llzk/Analysis/IntervalAnalysis.h