BoxDomain

public class BoxDomain<R extends Comparable<R>> implements SignalDomain<R>

Constructors

public void BoxDomain(SignalDomain<R> domain)

public Box<R> any()

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

public Box<R> computeEqualTo(double v1, double v2)

public Box<R> computeGreaterOrEqualThan(double v1, double v2)

public Box<R> computeGreaterThan(double v1, double v2)

public Box<R> computeLessOrEqualThan(double v1, double v2)

public Box<R> computeLessThan(double v1, double v2)

public Box<R> conjunction(Box<R> x, Box<R> y)

Associative, commutative, idempotent operator that chooses a value.

public Box<R> disjunction(Box<R> x, Box<R> y)

Associative, commutative operator that combines values.

public boolean equalTo(Box<R> x, Box<R> y)

public R implies(R x, R y)

Shorthand for returning an operational implication

public Box<R> max()

public Box<R> min()

public Box<R> negation(Box<R> x)

Negation function that s.t.

public R valueOf(int v)

public Box<R> valueOf(boolean b)

public Box<R> valueOf(double v)