Uses of Class
jml2b.pog.substitution.SubInstances

Packages that use SubInstances

jml2b.pog.substitution

Provides the classes necessary to create and manage substitutions.

Uses of SubInstances in jml2b.pog.substitution

Subclasses of SubInstances in jml2b.pog.substitution

class	SubInstancesSet This class corresponds to the substituion of instances with instances \/ f.
class	SubInstancesSingle This class corresponds to the substituion of instances with instances \/ {f} corresponding to an instance creation.