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

BooleanDomain

public class BooleanDomain implements SignalDomain<R>

Signal domain to support booleans (i.e. classical satisfaction).

See also

Constructors

public void BooleanDomain()

Functions

public Boolean any()

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

public Boolean computeEqualTo(double v1, double v2)

computeGreaterOrEqualThan

public Boolean computeGreaterOrEqualThan(double v1, double v2)

computeGreaterThan

public Boolean computeGreaterThan(double v1, double v2)

computeLessOrEqualThan

public Boolean computeLessOrEqualThan(double v1, double v2)

computeLessThan

public Boolean computeLessThan(double v1, double v2)

public Boolean conjunction(Boolean x, Boolean y)

Associative, commutative, idempotent operator that chooses a value.

public Boolean disjunction(Boolean x, Boolean y)

Associative, commutative operator that combines values.

public boolean equalTo(Boolean x, Boolean y)

public DataHandler<Boolean> getDataHandler()

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

public R implies(R x, R y)

Shorthand for returning an operational implication

public Boolean max()

public Boolean min()

public Boolean negation(Boolean x)

Negation function that s.t.

public R valueOf(int v)

public Boolean valueOf(boolean b)

public Boolean valueOf(double v)