Class: QuantifierDisjunctiveVerdict

QuantifierDisjunctiveVerdict()

Verdict returned by a quantifier and which depends on either of the input values provided. This verdict is returned for a universal quantifier that evaluates to false, and for an existential quantifier that evaluates to true.

Constructor

new QuantifierDisjunctiveVerdict()

Source:

Extends

Methods

getValue()

Gets the concrete value carried by this Value object.
Inherited From:
Source:
Returns:
The value

query(type, d, root, A)

Queries the provenance of a value.
Parameters:
Name Type Description
type The type of lineage relationship
d A designator representing the part of the object that is the subject of the query
root The node to which the rsults of the query should be appended as children
A factory to produce traceability nodes
Overrides:
Source:
Returns:
The list of terminal traceability nodes produced by this query