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 SourceRef &r) const
bool	hasField () const
const Field &	getField () const
bool	doInputConstraintPropagation () const

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

Friends
bool	operator== (const IntervalAnalysisContext &a, const IntervalAnalysisContext &b)=default

Detailed Description

Parameters and shared objects to pass to child analyses.

Definition at line 413 of file IntervalAnalysis.h.

Member Function Documentation

doInputConstraintPropagation()

bool llzk::IntervalAnalysisContext::doInputConstraintPropagation ( ) const

inline

Definition at line 425 of file IntervalAnalysis.h.

getField()

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

inline

Definition at line 421 of file IntervalAnalysis.h.

getSymbol()

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

inline

Definition at line 419 of file IntervalAnalysis.h.

hasField()

bool llzk::IntervalAnalysisContext::hasField ( ) const

inline

Definition at line 420 of file IntervalAnalysis.h.

Friends And Related Symbol Documentation

operator==

bool operator== ( const IntervalAnalysisContext & a, const IntervalAnalysisContext & b )

friend

Member Data Documentation

field

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

Definition at line 416 of file IntervalAnalysis.h.

intervalDFA

IntervalDataFlowAnalysis* llzk::IntervalAnalysisContext::intervalDFA

Definition at line 414 of file IntervalAnalysis.h.

propagateInputConstraints

bool llzk::IntervalAnalysisContext::propagateInputConstraints

Definition at line 417 of file IntervalAnalysis.h.

smtSolver

llvm::SMTSolverRef llzk::IntervalAnalysisContext::smtSolver

Definition at line 415 of file IntervalAnalysis.h.

---

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

• include/llzk/Analysis/IntervalAnalysis.h