org.overturetool.vdmj.pog
Class LetBeExistsObligation

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

public class LetBeExistsObligation
extends ProofObligation

Field Summary

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

kind, location, name, value

Constructor Summary

LetBeExistsObligation(LetBeStExpression exp, POContextStack ctxt)

LetBeExistsObligation(LetBeStStatement stmt, 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

LetBeExistsObligation

public LetBeExistsObligation(LetBeStExpression exp,
                             POContextStack ctxt)

LetBeExistsObligation

public LetBeExistsObligation(LetBeStStatement stmt,
                             POContextStack ctxt)