IOAssignment

assignments

ImmutableBox

Box

InputAssignment

assignments

infinite

scalafix

infixDomainOps

Domain

infixMagmaOps

Magma

infl

FiniteEquationSystem SimpleFiniteEquationSystem SimpleGraphEquationSystem

ingoing

GraphEquationSystem SimpleGraphEquationSystem

initial

EquationSystem SimpleEquationSystem SimpleFiniteEquationSystem SimpleGraphEquationSystem

initialized

FixpointSolverTracer DebugFixpointSolverTracer FixpointSolverTracerAdapter

inputUnknowns

EquationSystem SimpleEquationSystem FiniteEquationSystem SimpleFiniteEquationSystem SimpleGraphEquationSystem

isDefinedAt

IOAssignment HashBasedIOAssignment

isEmpty

BoxAssignment

isHead

GraphOrdering

isIdempotent

Box

isImmutable

Box ImmutableBox

isRight

Box

it

root