Uses of Class
uk.ac.sheffield.vtts.model.Alphabet

Packages that use Alphabet

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.

Uses of Alphabet in uk.ac.sheffield.vtts.model

Methods in uk.ac.sheffield.vtts.model that return Alphabet

Modifier and Type	Method and Description
Alphabet	Alphabet.addEvent(Event event) Adds an event to this alphabet.
Alphabet	Machine.getAlphabet() Returns the Alphabet of this Machine.
Alphabet	Protocol.getAlphabet() Returns the Alphabet of this Protocol.
Alphabet	Alphabet.subtract(Alphabet other) Computes the difference between this and the other Alphabet.

Methods in uk.ac.sheffield.vtts.model with parameters of type Alphabet

Modifier and Type	Method and Description
Notice	State.checkCompleteness(Notice topInfo, Alphabet alphabet) Checks the completeness of this State with respect to an Alphabet.
protected Warning	Machine.checkDifference(Notice topInfo, Alphabet difference) Checks the difference between the Protocol alphabet and the Machine alphabet.
protected Warning	Protocol.checkDifference(Notice topInfo, Alphabet difference) Checks the difference between the Machine alphabet and the Protocol alphabet.
static Language	Language.createBoundedPlus(Alphabet alphabet, int length) Creates a language containing all non-empty sequences up to a given length, chosen from an alphabet.
static Language	Language.createBoundedStar(Alphabet alphabet, int length) Creates a language containing all sequences up to a given length, chosen from an alphabet.
static Language	Language.createExactly(Alphabet alphabet, int length) Creates a language containing all sequences of a given length, chosen from an alphabet.
protected Language	Service.getStateCover(Alphabet alphabet) Calculates the state cover for this Service.
protected Language	Machine.getStateCover(Alphabet alphabet) Calculates the state cover for this Machine.
Language	Language.product(Alphabet alphabet) Creates the product of this language and every event in an alphabet.
Alphabet	Alphabet.subtract(Alphabet other) Computes the difference between this and the other Alphabet.