org.overturetool.vdmj.pog
Class RecursiveObligation

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

public class RecursiveObligation
extends ProofObligation

Field Summary

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

kind, location, name, value

Constructor Summary

RecursiveObligation(ExplicitFunctionDefinition def, ApplyExpression apply, POContextStack ctxt)

RecursiveObligation(ImplicitFunctionDefinition def, ApplyExpression apply, 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

RecursiveObligation

public RecursiveObligation(ExplicitFunctionDefinition def,
                           ApplyExpression apply,
                           POContextStack ctxt)

RecursiveObligation

public RecursiveObligation(ImplicitFunctionDefinition def,
                           ApplyExpression apply,
                           POContextStack ctxt)