Uses of Class
jml2b.structure.jml.Exsures

Packages that use Exsures

jml2b.pog.lemma
jml2b.structure.jml	Provides the classes necessary to create and manage jml clauses such that depends, represents, specification cases, modifies and exsures.

Uses of Exsures in jml2b.pog.lemma

Constructors in jml2b.pog.lemma with parameters of type Exsures

ExsuresLemma(IJml2bConfiguration config, Exsures ex, Expression b, GoalOrigin origin)
Constructs an exsures lemma from an exsures clause

ExsuresLemma(IJml2bConfiguration config, Exsures ex, GoalOrigin origin)
Constructs an exsures lemma from an exsures clause

Uses of Exsures in jml2b.structure.jml

Methods in jml2b.structure.jml that return Exsures

Exsures	Exsures.instancie() Instancie the clause.
Exsures	Exsures.renameParam(Parameters signature, Parameters newSignature)