- pair(Object, Object) - Method in class uk.ac.sheffield.vtts.model.Projection
-
Returns a new ordered pair, consisting of the first and second objects.
- Parameter - Class in uk.ac.sheffield.vtts.model
-
Parameter is a kind of expression denoting a named and typed parameter.
- Parameter() - Constructor for class uk.ac.sheffield.vtts.model.Parameter
-
Creates a default parameter.
- Parameter(String, String) - Constructor for class uk.ac.sheffield.vtts.model.Parameter
-
Creates a parameter of the given name and type.
- parameters - Variable in class uk.ac.sheffield.vtts.model.Scope
-
The set of Parameters in Scope.
- path - Variable in class uk.ac.sheffield.vtts.model.Sequence
-
The length of the path to explore from the covered State.
- payBill(int, String) - Method in class uk.ac.sheffield.vtts.client.pojo.ShoppingCart
-
In the Checkout state, attempts to pay the bill.
- payBill(Integer, String) - Method in interface uk.ac.sheffield.vtts.client.ws.ShoppingCartInterface
-
Supply billing and shipping information at the checkout.
- plus(Object, Object) - Method in class uk.ac.sheffield.vtts.model.Arithmetic
-
Computes the sum of two numerical values.
- Predicate - Class in uk.ac.sheffield.vtts.model
-
Predicate represents a boolean valued function with a predicate root node.
- Predicate() - Constructor for class uk.ac.sheffield.vtts.model.Predicate
-
Creates a default Predicate.
- Predicate(String) - Constructor for class uk.ac.sheffield.vtts.model.Predicate
-
Creates a named Predicate.
- product(Alphabet) - Method in class uk.ac.sheffield.vtts.model.Language
-
Creates the product of this language and every event in an alphabet.
- product(Language) - Method in class uk.ac.sheffield.vtts.model.Language
-
Creates the product of this language and every sequence in another
language.
- Projection - Class in uk.ac.sheffield.vtts.model
-
Projection represents a function creating, or projecting from, a tuple.
- Projection() - Constructor for class uk.ac.sheffield.vtts.model.Projection
-
Creates a default Projection.
- Projection(String) - Constructor for class uk.ac.sheffield.vtts.model.Projection
-
Creates a Projection with the given operator name.
- Projection(String, String) - Constructor for class uk.ac.sheffield.vtts.model.Projection
-
Creates a Projection with the given operator name and result type.
- Proposition - Class in uk.ac.sheffield.vtts.model
-
Proposition represents a logical expression with a Boolean operator root
node.
- Proposition() - Constructor for class uk.ac.sheffield.vtts.model.Proposition
-
Creates a default logical Proposition.
- Proposition(String) - Constructor for class uk.ac.sheffield.vtts.model.Proposition
-
Creates a logical Proposition with the given name.
- Protocol - Class in uk.ac.sheffield.vtts.model
-
Protocol is a model of the abstract behaviour of a software service.
- Protocol() - Constructor for class uk.ac.sheffield.vtts.model.Protocol
-
Creates a default Protocol with no name.
- Protocol(String) - Constructor for class uk.ac.sheffield.vtts.model.Protocol
-
Creates a named Protocol.
- putDocument(Integer, Document) - Method in class uk.ac.sheffield.vtts.client.pojo.DocumentStore
-
If LoggedIn, attempts to store a Document against the given docid.
- putDocument(Integer, Document) - Method in interface uk.ac.sheffield.vtts.client.ws.DocumentStoreInterface
-
Attempts to store a document under the docid.