engine/io.github.moonlightsuite.moonlight.domain/DoubleDomain

DoubleDomain

public class DoubleDomain implements SignalDomain<R>, DistanceDomain<M>

Signal domain to support doubles (i.e. classical robustness).

Constructors

DoubleDomain

public void DoubleDomain()

Functions

any

public Double any()

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

computeEqualTo

public Double computeEqualTo(double v1, double v2)

computeGreaterOrEqualThan

public Double computeGreaterOrEqualThan(double v1, double v2)

computeGreaterThan

public Double computeGreaterThan(double v1, double v2)

computeLessOrEqualThan

public Double computeLessOrEqualThan(double v1, double v2)

computeLessThan

public Double computeLessThan(double v1, double v2)

conjunction

public Double conjunction(Double x, Double y)

Associative, commutative, idempotent operator that chooses a value.

disjunction

public Double disjunction(Double x, Double y)

Associative, commutative operator that combines values.

equalTo

public boolean equalTo(Double x, Double y)

getDataHandler

public DataHandler<Double> getDataHandler()

getOperator

public static BiFunction<Double, Double, S> getOperator<S>(SignalDomain<S> domain, String op)

implies

public R implies(R x, R y)

Shorthand for returning an operational implication

infinity

public Double infinity()

Maximal allowed distance

less

public boolean less(Double x, Double y)

Tells whether the first distance is smaller than the second

lessOrEqual

public boolean lessOrEqual(Double x, Double y)

Tells whether the first distance is smaller or equal to the second.

max

public Double max()

min

public Double min()

multiply

public Double multiply(Double x, int factor)

Method to combine the metric `x`, `factor` times

negation

public Double negation(Double x)

Negation function that s.t.

sum

public Double sum(Double x, Double y)

Method to combine two distances

valueOf

public R valueOf(int v)

public Double valueOf(boolean b)

public Double valueOf(double v)

zero

public Double zero()

Minimal allowed distance

DoubleDomain

See also

Constructors

Functions