org.overturetool.vdmj.pog
Class MapComposeObligation

java.lang.Object
  org.overturetool.vdmj.pog.ProofObligation
      org.overturetool.vdmj.pog.MapComposeObligation

public class MapComposeObligation
extends ProofObligation

Field Summary

Fields inherited from class org.overturetool.vdmj.pog.ProofObligation

kind, location, name, value

Constructor Summary

MapComposeObligation(CompExpression exp, POContextStack ctxt)

Method Summary

Methods inherited from class org.overturetool.vdmj.pog.ProofObligation

getValue, getVar, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

MapComposeObligation

public MapComposeObligation(CompExpression exp,
                            POContextStack ctxt)