Uses of Package
jpov.substitution

Packages that use jpov.substitution

jpov.structure
jpov.substitution

Classes in jpov.substitution used by jpov.structure

Substitution
This interface provides method to save and display substitution applied to goals.

Classes in jpov.substitution used by jpov.substitution

Substitution
This interface provides method to save and display substitution applied to goals.