KeY Logic Documentation
Defined symbols in the KeY System
Generated from version: heads/main on Fri Aug 21 01:50:47 UTC 2026
Startpage
Usage Index
KeY Docs
Overview
Predicates
acc
reach
reach.key
Predicates
acc
acc
(
Heap
,
LocSet
,
Object
,
Object
)
;
defined in: reach.key Line: 8 Offset :4
reach
reach
(
Heap
,
LocSet
,
Object
,
Object
,
int
)
;
defined in: reach.key Line: 9 Offset :4