Uses of Interface
jpov.substitution.Substitution

Packages that use Substitution

jpov.structure
jpov.substitution

Uses of Substitution in jpov.structure

Methods in jpov.structure that return Substitution

Substitution[]

Goal.getSubs()

Uses of Substitution in jpov.substitution

Classes in jpov.substitution that implement Substitution

class	SubArrayElement This class corresponds to the substitution of xxxelements with a formula.
class	SubArrayElementSingle This class corresponds to the substitution of xxxelements with a formula.
class	SubArrayLength This class corresponds to the substitution of arraylength with a formula.
class	SubForm This class corresponds to the substitution of a formula by another.
(package private) class	jpov.substitution.SubInstances This class corresponds to the substitution of instances with: instances \/ f instances \/ {f}
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.
class	SubMemberField This class implements a substitution of a member field a by a <+ { b |-> c } corresponding to an affectation of a new value for a given instance.
class	SubTmpVar This class corresponds to the substitution of a tempory variable with a formula.
(package private) class	jpov.substitution.SubTypeof This abstract class describes substitutions applied on typeof
class	SubTypeofSet This interface describes a substitution of typeof by typeof <+ f * {t}
class	SubTypeofSingle This interface describes a substitution of typeof by typeof <+ {f |-> t}