Uses of Package
jml2b.pog.util

Packages that use jml2b.pog.util

jml2b.pog.lemma
jml2b.pog.proofobligation
jml2b.pog.util

Classes in jml2b.pog.util used by jml2b.pog.lemma

ColoredInfo
This class defines informations associated to formula in order to color the code in the viewer.

Classes in jml2b.pog.util used by jml2b.pog.proofobligation

ColoredInfo
This class defines informations associated to formula in order to color the code in the viewer.

Classes in jml2b.pog.util used by jml2b.pog.util

ContextFromPureMethod
This class contains the context issued from pure method that is used when translating an expression into a formula.

IdentifierResolver
This class provides utilities for the treatment of identifiers.