jpov.substitution
Interface Substitution

All Known Implementing Classes:

SubArrayElement, SubArrayElementSingle, SubArrayLength, SubForm, jpov.substitution.SubInstances, SubMemberField, SubTmpVar, jpov.substitution.SubTypeof

public interface Substitution

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

Author:

L. Burdy

Method Summary

java.lang.String	getInfo() Returns the informations to displayed in the Java view to simulate the substitution
void	save(IJml2bConfiguration config, JpoOutputStream s, IJmlFile jf) Saves the substitution in a .jpo file

Method Detail

save

public void save(IJml2bConfiguration config,
                 JpoOutputStream s,
                 IJmlFile jf)
          throws java.io.IOException

Saves the substitution in a .jpo file

Parameters:

config -

s - The output stream corresponding to the file.

jf -

Throws:

java.io.IOException

getInfo

public java.lang.String getInfo()

Returns the informations to displayed in the Java view to simulate the substitution

Returns:

a string that is displayed with the initial formula corresponding to the goal.