VacuityFloors
constructor(strictAncestorPairs: Double = 0.15, concurrentPairs: Double = 0.15, effectiveRetireSteps: Double = 0.1, maxNoOpSteps: Double = 0.25, totalOrder: Boolean = false)
Parameters
strictAncestorPairs
minimum fraction of ordered pairs that are strict-ancestor pairs.
concurrentPairs
minimum fraction of ordered pairs that are concurrent. Waived by totalOrder.
effectiveRetireSteps
minimum fraction of steps that retire and change the state.
maxNoOpSteps
maximum fraction of steps that leave the state unchanged.
totalOrder
the type's reachable states form a chain, so the concurrency floor is unreachable rather than unmet. Waives that one floor and nothing else.