- oneDisjunctSubsumes(Predicate) - Method in class uk.ac.sheffield.vtts.model.Proposition
-
Tests whether one of this OR-Proposition's disjuncts subsumes the
other Predicate.
- open(String) - Method in class uk.ac.sheffield.vtts.client.pojo.Account
-
Attempts to open this Account for a given holder.
- operand(int) - Method in class uk.ac.sheffield.vtts.model.Function
-
Returns the given operand Expression at an index.
- operand(int) - Method in class uk.ac.sheffield.vtts.model.Proposition
-
Returns one of the operand Predicates at an index.
- Operation - Class in uk.ac.sheffield.vtts.model
-
Operation represents an operation in the public interface of a service.
- Operation() - Constructor for class uk.ac.sheffield.vtts.model.Operation
-
Creates a default Operation.
- Operation(String) - Constructor for class uk.ac.sheffield.vtts.model.Operation
-
Creates a named Operation.
- Output - Class in uk.ac.sheffield.vtts.model
-
Output is an output parameter associated with an operation.
- Output() - Constructor for class uk.ac.sheffield.vtts.model.Output
-
Creates a default output parameter.
- Output(String, String) - Constructor for class uk.ac.sheffield.vtts.model.Output
-
Creates an output parameter with the given name and type.