engine/io.github.moonlightsuite.moonlight.domain/BoxDomain/max

max

public Box<R> max()

Return

the supremum (aka join) of the lattice defined over the semiring.