class BlockCallPredicateSnippet extends TwoStateMethodPredicateSnippet
Constructor and Description |
---|
BlockCallPredicateSnippet() |
Modifier and Type | Method and Description |
---|---|
(package private) java.lang.String |
generatePredicateName(IProgramMethod pm,
StatementBlock block,
LoopSpecification loopInv) |
generateContApplArgumentSorts, produce
java.lang.String generatePredicateName(IProgramMethod pm, StatementBlock block, LoopSpecification loopInv)
generatePredicateName
in class TwoStateMethodPredicateSnippet