Package com.ibm.wala.fixedpoint.impl

@NullMarked package com.ibm.wala.fixedpoint.impl

Classes

Class	Description
AbstractFixedPointSolver<T extends IVariable<T>>	Represents a set of IFixedPointStatements to be solved by a IFixedPointSolver
BasicNullaryStatement<T extends IVariable<T>>	An implementation of NullaryStep that carries its operator explicitly
DefaultFixedPointSolver<T extends IVariable<T>>	Default implementation of a fixed point solver.
DefaultFixedPointSystem<T extends IVariable<T>>	Default implementation of a dataflow graph
GeneralStatement<T extends IVariable<T>>	Represents a single step in an iterative solver
NullaryOperator<T extends IVariable<T>>	An operator of the form lhs = op
NullaryStatement<T extends IVariable<T>>	Represents a single step, restricted to a nullary operator.
Worklist	Worklist for fixed-point solver implementation