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

IntegerDomain

public class IntegerDomain implements DistanceDomain<M>

Constructors

public void IntegerDomain()

Functions

public boolean equalTo(Integer x, Integer y)

Tells whether the first distance is equivalent to the second

public Integer infinity()

Maximal allowed distance

public boolean less(Integer x, Integer y)

Tells whether the first distance is smaller than the second

public boolean lessOrEqual(Integer x, Integer y)

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

public Integer multiply(Integer x, int factor)

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

public Integer sum(Integer x, Integer y)

Method to combine two distances

public Integer zero()

Minimal allowed distance