CC77

FiniteFixpointSolver

Conditional

InputAssignment

Cross

EdgeType

cascade

Box

compare

DynamicPriority

completed

FixpointSolverTracer DebugFixpointSolverTracer FixpointSolverTracerAdapter

conditional

InputAssignment

copy

Box ImmutableBox BoxAssignment

current

DynamicPriority