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

arraySubdivisionOpUpdate(mlir::Operation op, const ConstrainRefLattice::ValueMap &operandVals, const ConstrainRefLattice &before, ConstrainRefLattice after)	llzk::ConstrainRefAnalysis	protected
fallbackOpUpdate(mlir::Operation op, const ConstrainRefLattice::ValueMap &operandVals, const ConstrainRefLattice &before, ConstrainRefLattice after)	llzk::ConstrainRefAnalysis	protected
getLattice(mlir::ProgramPoint point) override	llzk::dataflow::DenseForwardDataFlowAnalysis< ConstrainRefLattice >	inlineprotectedvirtual
getLatticeFor(mlir::ProgramPoint dependent, mlir::ProgramPoint point)	llzk::dataflow::AbstractDenseForwardDataFlowAnalysis	protected
initialize(mlir::Operation *top) override	llzk::dataflow::AbstractDenseForwardDataFlowAnalysis
join(AbstractDenseLattice *lhs, const AbstractDenseLattice &rhs)	llzk::dataflow::AbstractDenseForwardDataFlowAnalysis	inlineprotected
processOperation(mlir::Operation *op)	llzk::dataflow::AbstractDenseForwardDataFlowAnalysis	protectedvirtual
setToEntryState(ConstrainRefLattice *lattice) override	llzk::ConstrainRefAnalysis	inlineprotectedvirtual
llzk::dataflow::DenseForwardDataFlowAnalysis< ConstrainRefLattice >::setToEntryState(AbstractDenseLattice *lattice) override	llzk::dataflow::DenseForwardDataFlowAnalysis< ConstrainRefLattice >	inlineprotectedvirtual
visit(mlir::ProgramPoint point) override	llzk::dataflow::AbstractDenseForwardDataFlowAnalysis
visitCallControlFlowTransfer(mlir::CallOpInterface call, dataflow::CallControlFlowAction action, const ConstrainRefLattice &before, ConstrainRefLattice *after) override	llzk::ConstrainRefAnalysis	virtual
llzk::dataflow::DenseForwardDataFlowAnalysis< ConstrainRefLattice >::visitCallControlFlowTransfer(mlir::CallOpInterface call, CallControlFlowAction action, const AbstractDenseLattice &before, AbstractDenseLattice *after) final	llzk::dataflow::DenseForwardDataFlowAnalysis< ConstrainRefLattice >	inlineprotectedvirtual
visitOperation(mlir::Operation op, const ConstrainRefLattice &before, ConstrainRefLattice after) override	llzk::ConstrainRefAnalysis	virtual
visitOperationImpl(mlir::Operation op, const AbstractDenseLattice &before, AbstractDenseLattice after) final	llzk::dataflow::DenseForwardDataFlowAnalysis< ConstrainRefLattice >	inlineprotectedvirtual
visitRegionBranchControlFlowTransfer(mlir::RegionBranchOpInterface branch, std::optional< unsigned > regionFrom, std::optional< unsigned > regionTo, const ConstrainRefLattice &before, ConstrainRefLattice *after)	llzk::dataflow::DenseForwardDataFlowAnalysis< ConstrainRefLattice >	inlinevirtual
visitRegionBranchControlFlowTransfer(mlir::RegionBranchOpInterface branch, std::optional< unsigned > regionFrom, std::optional< unsigned > regionTo, const AbstractDenseLattice &before, AbstractDenseLattice *after) final	llzk::dataflow::DenseForwardDataFlowAnalysis< ConstrainRefLattice >	inlineprotectedvirtual
visitRegionBranchOperation(mlir::ProgramPoint point, mlir::RegionBranchOpInterface branch, AbstractDenseLattice *after)	llzk::dataflow::AbstractDenseForwardDataFlowAnalysis	protected