org.overturetool.vdmj.pog
Class SatisfiabilityObligation

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

public class SatisfiabilityObligation
extends ProofObligation

Field Summary

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

kind, location, name, value

Constructor Summary

SatisfiabilityObligation(ImplicitFunctionDefinition func, POContextStack ctxt)

SatisfiabilityObligation(ImplicitOperationDefinition op, Definition stateDefinition, 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

SatisfiabilityObligation

public SatisfiabilityObligation(ImplicitFunctionDefinition func,
                                POContextStack ctxt)

SatisfiabilityObligation

public SatisfiabilityObligation(ImplicitOperationDefinition op,
                                Definition stateDefinition,
                                POContextStack ctxt)