private static final class WhileInvariantRule.Instantiation
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
ExecutionContext |
innermostExecutionContext |
LoopSpecification |
inv |
While |
loop |
Term |
progPost |
Term |
selfTerm |
Term |
u |
Constructor and Description |
---|
Instantiation(Term u,
Term progPost,
While loop,
LoopSpecification inv,
Term selfTerm,
ExecutionContext innermostExecutionContext) |
public final Term u
public final Term progPost
public final While loop
public final LoopSpecification inv
public final Term selfTerm
public final ExecutionContext innermostExecutionContext
public Instantiation(Term u, Term progPost, While loop, LoopSpecification inv, Term selfTerm, ExecutionContext innermostExecutionContext)