Package jml2b.pog.util

Class Summary

ColoredInfo	This class defines informations associated to formula in order to color the code in the viewer.
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.
TemporaryField	This class provides services to create and use temporary fields that are usefull during the proof obligation calculation.