engine/io.github.moonlightsuite.moonlight.core.signal/SignalDomain

SignalDomain

public interface SignalDomain<R> implements Semiring<R>, SerializableData<R>

This extension of Semiring introduces some elements that are key for signal interpretation. More precisely, (S, (-)) is a Signal domain when:

  • S is an idempotent Semiring
  • (-) is a negation function
Moreover, we include: - Syntactic sugar for the implication connective - An accompanying DataHandler for data parsing

See also

Inheritors

Functions

Link copied to clipboard
public abstract R any()
Unknown element: this is an element of the set that represents undefined areas of the signal.
Link copied to clipboard
public abstract R computeEqualTo(double v1, double v2)
Link copied to clipboard
public abstract R computeGreaterOrEqualThan(double v1, double v2)
Link copied to clipboard
public abstract R computeGreaterThan(double v1, double v2)
Link copied to clipboard
public abstract R computeLessOrEqualThan(double v1, double v2)
Link copied to clipboard
public abstract R computeLessThan(double v1, double v2)
Link copied to clipboard
public abstract R conjunction(R x, R y)
Associative, commutative, idempotent operator that chooses a value.
Link copied to clipboard
public abstract R disjunction(R x, R y)
Associative, commutative operator that combines values.
Link copied to clipboard
public abstract boolean equalTo(R x, R y)
Link copied to clipboard
public abstract DataHandler<R> getDataHandler()
Link copied to clipboard
public static BiFunction<Double, Double, S> getOperator<S>(SignalDomain<S> domain, String op)
Link copied to clipboard
public R implies(R x, R y)
Shorthand for returning an operational implication
Link copied to clipboard
public abstract R max()
Link copied to clipboard
public abstract R min()
Link copied to clipboard
public abstract R negation(R x)
Negation function that s.t.
Link copied to clipboard
public abstract R valueOf(boolean b)
public abstract R valueOf(double v)
public R valueOf(int v)