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

Packages that use Proposition

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 Proposition in uk.ac.sheffield.vtts.model

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

Modifier and Type	Method and Description
Proposition	Proposition.normalise() Converts this Proposition into a term dominated by AND, OR or NOT.

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

Modifier and Type	Method and Description
protected boolean	Predicate.subsumesAllDisjunctsOf(Proposition other) Tests whether this Predicate subsumes all disjuncts of the other OR-Proposition.
protected boolean	Proposition.subsumesAllDisjunctsOf(Proposition other) Tests whether this Proposition subsumes all disjuncts of the other OR-Proposition.
protected boolean	Predicate.subsumesOneConjunctOf(Proposition other) Tests whether this Predicate subsumes one conjunct of the other AND-Proposition.
protected boolean	Proposition.subsumesOneConjunctOf(Proposition other) Tests whether this Proposition subsumes one conjunct of the other AND-Proposition.
protected boolean	Predicate.subsumesProposition(Proposition other) Tests whether this Predicate subsumes the other Proposition.