| Constructors in jml2b.pog.util with parameters of type ContextFromPureMethod |
ContextFromPureMethod(ContextFromPureMethod c,
Formula f)
Constructs a context from an existing context and a formula. |
ContextFromPureMethod(ContextFromPureMethod c,
java.lang.String res,
Formula f,
Type t,
Formula ens)
Constructs a context from a method call with parameter. |
ContextFromPureMethod(ContextFromPureMethod c1,
ContextFromPureMethod c2,
Formula f)
Constructs a context from the translation of a binary operator. |
ContextFromPureMethod(ContextFromPureMethod c1,
ContextFromPureMethod c2,
ContextFromPureMethod c3,
Formula f)
Constructs a context from the translation of a 3-ary operator. |