public static final class BlockContractRule.Instantiation extends Object
Modifier and Type | Field and Description |
---|---|
StatementBlock |
block |
ExecutionContext |
context |
Term |
formula |
Modality |
modality |
Term |
self |
Term |
update |
Constructor and Description |
---|
BlockContractRule.Instantiation(Term update,
Term formula,
Modality modality,
Term self,
StatementBlock block,
ExecutionContext context) |
public final Term update
public final Term formula
public final Modality modality
public final Term self
public final StatementBlock block
public final ExecutionContext context
public BlockContractRule.Instantiation(Term update, Term formula, Modality modality, Term self, StatementBlock block, ExecutionContext context)