TupleDomain

public class TupleDomain implements SignalDomain<R>

Class to handle a tuple domain

Constructors

public void TupleDomain(TupleType type)

public Tuple any()

Unknown element: this is an element of the set that represents undefined areas of the signal.

public Tuple computeEqualTo(double v1, double v2)

public Tuple computeGreaterOrEqualThan(double v1, double v2)

public Tuple computeGreaterThan(double v1, double v2)

public Tuple computeLessOrEqualThan(double v1, double v2)

public Tuple computeLessThan(double v1, double v2)

Associative, commutative, idempotent operator that chooses a value.

Associative, commutative operator that combines values.

public boolean equalTo(Tuple x, Tuple y)

public R implies(R x, R y)

Shorthand for returning an operational implication

public Tuple max()

public Tuple min()

Negation function that s.t.

public R valueOf(int v)

public Tuple valueOf(boolean b)

public Tuple valueOf(double v)