Package | Description |
---|---|
de.uka.ilkd.key.speclang |
This package contains the specification language frontends of KeY.
|
Modifier and Type | Method and Description |
---|---|
RepresentsAxiom |
RepresentsAxiom.conjoin(RepresentsAxiom ax,
TermBuilder tb)
Conjoins two represents clauses with minimum visibility.
|
RepresentsAxiom |
RepresentsAxiom.setKJT(KeYJavaType newKjt) |
Modifier and Type | Method and Description |
---|---|
RepresentsAxiom |
RepresentsAxiom.conjoin(RepresentsAxiom ax,
TermBuilder tb)
Conjoins two represents clauses with minimum visibility.
|
Constructor and Description |
---|
MethodWellDefinedness(RepresentsAxiom rep,
Services services) |
Copyright © 2003-2019 The KeY-Project.