Uses of Package
org.ek9lang.compiler.symbolic

Packages that use org.ek9lang.compiler.symbolic

Package	Description
org.ek9lang.compiler.symbolic

Classes in org.ek9lang.compiler.symbolic used by org.ek9lang.compiler.symbolic

Class	Description
ConstructVerdict	The result of running the Symbolic/Contract engine (SymbolicEngine) over one construct (docs/tooling/EK9_SYMBOLIC_SCANNER_IMPLEMENTATION_SPEC.md §3/§4.4/§6).
ConstructVerdict.Counterexample	A concrete input that violates an obligation — the witness a developer can paste into a test.
ConstructVerdict.DeadBranch	A branch proven dead (unreachable for every input) by a contradiction in its path condition.
FunctionSummary	The inter-procedural summary of a callable (docs/tooling/EK9_SYMBOLIC_SCANNER_IMPLEMENTATION_SPEC.md §3.4) — the facts about it a caller needs to reason across the call boundary without re-analysing its whole body.
FunctionSummary.RequirePredicate	A single require precondition: param OP literal, keyed to the parameter's position so a call site can map it onto the matching argument.
WitnessEnumerator.Witness	A concrete counterexample: which value-class it came from, its EK9-source literal, and its value.