Package | Description |
---|---|
de.uka.ilkd.key.nparser.builder |
Modifier and Type | Class and Description |
---|---|
class |
ContractsAndInvariantsFinder
This visitor finds all contracts and invariant clauses in
KeyAst . |
class |
ProblemFinder
This visitor finds the problem information (problemTerm, choosedContract, and proofObligation)
of a
KeyAst.File . |
class |
TacletPBuilder |
Copyright © 2003-2019 The KeY-Project.