Merges two kindings allowing the union of their substitutions.
Merges two kindings allowing the union of their substitutions. All options of the other kinding will become options for this kinding. The second kinding has to be non-empty (i.e. include information for at least one variable).
a new kinding allowing all the options of this and the other kinding.
Merges two kindings allowing the union of their substitutions.
Merges two kindings allowing the union of their substitutions.
a new kinding allowing all the options of this and the other kinding.
A map where each variable is assigned finitely many types it can be susbstituted by
A map where each variable is assigned finitely many types it can be susbstituted by
Adds an allowed substitution to this space.
Adds an allowed substitution to this space.
Kindings induce finite substitution spaces.
Kindings induce finite substitution spaces.
We have: S in WF iff S(alpha) = sigma for sigma in Kinding(alpha)
.
Looks up substitutions allowed for variable v
.
Looks up substitutions allowed for variable v
.
the substitutions or an empty enumeration, if the variable has no defined kinding.
(Since version ) see corresponding Javadoc for more information.
Kindings restrict variables by enumerating all of their possible substitutions.