This is the complete list of members for llzk::IntervalDataFlowAnalysis, including all inherited members.

getLattice(mlir::LatticeAnchor anchor) override	llzk::dataflow::DenseForwardDataFlowAnalysis< IntervalAnalysisLattice >	inlineprotectedvirtual
getLatticeFor(mlir::ProgramPoint *dependent, mlir::LatticeAnchor anchor)	llzk::dataflow::AbstractDenseForwardDataFlowAnalysis	protected
getOrCreateSymbol(const SourceRef &r)	llzk::IntervalDataFlowAnalysis
initialize(mlir::Operation *top) override	llzk::dataflow::AbstractDenseForwardDataFlowAnalysis
IntervalDataFlowAnalysis(mlir::DataFlowSolver &dataflowSolver, llvm::SMTSolverRef smt, const Field &f, bool propInputConstraints)	llzk::IntervalDataFlowAnalysis	inlineexplicit
join(AbstractDenseLattice *lhs, const AbstractDenseLattice &rhs)	llzk::dataflow::AbstractDenseForwardDataFlowAnalysis	inlineprotected
processOperation(mlir::Operation *op)	llzk::dataflow::AbstractDenseForwardDataFlowAnalysis	protectedvirtual
llzk::dataflow::DenseForwardDataFlowAnalysis< IntervalAnalysisLattice >::setToEntryState(AbstractDenseLattice *lattice) override	llzk::dataflow::DenseForwardDataFlowAnalysis< IntervalAnalysisLattice >	inlineprotectedvirtual
visit(mlir::ProgramPoint *point) override	llzk::dataflow::AbstractDenseForwardDataFlowAnalysis
visitCallControlFlowTransfer(mlir::CallOpInterface call, dataflow::CallControlFlowAction action, const Lattice &before, Lattice *after) override	llzk::IntervalDataFlowAnalysis	virtual
llzk::dataflow::DenseForwardDataFlowAnalysis< IntervalAnalysisLattice >::visitCallControlFlowTransfer(mlir::CallOpInterface call, CallControlFlowAction action, const AbstractDenseLattice &before, AbstractDenseLattice *after) final	llzk::dataflow::DenseForwardDataFlowAnalysis< IntervalAnalysisLattice >	inlineprotectedvirtual
visitOperation(mlir::Operation op, const Lattice &before, Lattice after) override	llzk::IntervalDataFlowAnalysis	virtual
visitOperationImpl(mlir::Operation op, const AbstractDenseLattice &before, AbstractDenseLattice after) final	llzk::dataflow::DenseForwardDataFlowAnalysis< IntervalAnalysisLattice >	inlineprotectedvirtual
visitRegionBranchControlFlowTransfer(mlir::RegionBranchOpInterface branch, std::optional< unsigned > regionFrom, std::optional< unsigned > regionTo, const IntervalAnalysisLattice &before, IntervalAnalysisLattice *after)	llzk::dataflow::DenseForwardDataFlowAnalysis< IntervalAnalysisLattice >	inlinevirtual
visitRegionBranchControlFlowTransfer(mlir::RegionBranchOpInterface branch, std::optional< unsigned > regionFrom, std::optional< unsigned > regionTo, const AbstractDenseLattice &before, AbstractDenseLattice *after) final	llzk::dataflow::DenseForwardDataFlowAnalysis< IntervalAnalysisLattice >	inlineprotectedvirtual
visitRegionBranchOperation(mlir::ProgramPoint point, mlir::RegionBranchOpInterface branch, AbstractDenseLattice after)	llzk::dataflow::AbstractDenseForwardDataFlowAnalysis	protected