ListDomain

public class ListDomain<T extends Comparable<T>> implements SignalDomain<R>

Constructors

public void ListDomain(List<SignalDomain<T>> domains)

public void ListDomain(int size, SignalDomain<T> domain)

public List<Box<T>> any()

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

public List<Box<T>> computeEqualTo(double v1, double v2)

public List<Box<T>> computeGreaterOrEqualThan(double v1, double v2)

public List<Box<T>> computeGreaterThan(double v1, double v2)

public List<Box<T>> computeLessOrEqualThan(double v1, double v2)

public List<Box<T>> computeLessThan(double v1, double v2)

Associative, commutative, idempotent operator that chooses a value.

Associative, commutative operator that combines values.

public boolean equalTo(List<Box<T>> x, List<Box<T>> y)

public R implies(R x, R y)

Shorthand for returning an operational implication

public List<Box<T>> max()

public List<Box<T>> min()

Negation function s.t.

public R valueOf(int v)

public List<Box<T>> valueOf(boolean b)

public List<Box<T>> valueOf(double v)