| Package | Description |
|---|---|
| uk.ac.sheffield.vtts.model |
This package contains Broker@Cloud components for modelling service
specifications and test suites, and for modelling expressions in the formal
expression language.
|
| Modifier and Type | Method and Description |
|---|---|
protected boolean |
Membership.subsumesMembership(Membership other)
Reports whether this Membership predicate subsumes the other.
|