Uses of Record Class
org.ek9lang.compiler.symbolic.WitnessEnumerator.Witness

Packages that use WitnessEnumerator.Witness

Package	Description
org.ek9lang.compiler.symbolic

Uses of WitnessEnumerator.Witness in org.ek9lang.compiler.symbolic

Methods in org.ek9lang.compiler.symbolic that return types with arguments of type WitnessEnumerator.Witness

Modifier and Type	Method	Description
static List<WitnessEnumerator.Witness>	WitnessEnumerator.constraintEdges(long lo, long hi)	The MIN/NEAR_MIN/NEAR_MAX/MAX edge witnesses of a [lo,hi] window, de-duplicated by value.
static Optional<WitnessEnumerator.Witness>	WitnessEnumerator.firstViolatingBuiltin(String typeName, LongPredicate obligation)	Built-in leaf: enumerate the real InputVarietyModel pool and return the first value for which obligation does NOT hold (i.e.
static Optional<WitnessEnumerator.Witness>	WitnessEnumerator.firstViolatingConstrained(long lo, long hi, LongPredicate obligation)	User constrained type over [lo,hi]: enumerate the constraint-window edges and return the first violator.