Interface | Description |
---|---|
IProofReference<T> |
A proof reference which points to a source member used during proof.
|
Class | Description |
---|---|
DefaultProofReference<T> |
Default implementation of
IProofReference . |
Copyright © 2003-2019 The KeY-Project.