jpov.substitution
Class SubTypeofSingle

java.lang.Object
  jpov.substitution.SubTypeof
      jpov.substitution.SubTypeofSingle

All Implemented Interfaces:

Substitution

public class SubTypeofSingle

extends jpov.substitution.SubTypeof

This interface describes a substitution of typeof by typeof <+ {f |-> t}

Author:

L. Burdy

Constructor Summary

SubTypeofSingle(IJml2bConfiguration config, IJmlFile fi, JpoInputStream s)
Constructs a substitution for typeof

Method Summary

java.lang.String	getInfo() Returns "t f"
void	save(IJml2bConfiguration config, JpoOutputStream s, IJmlFile jf) Saves the substitution in a .jpo file

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

SubTypeofSingle

public SubTypeofSingle(IJml2bConfiguration config,
                       IJmlFile fi,
                       JpoInputStream s)
                throws java.io.IOException,
                       LoadException

Constructs a substitution for typeof

Method Detail

save

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

Description copied from interface: Substitution

Saves the substitution in a .jpo file

Throws:

java.io.IOException

getInfo

public java.lang.String getInfo()

Returns "t f"

Returns:

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