toggle menu
moonlight
1.0-SNAPSHOT
jvm
switch theme
search in API
engine
/
io.github.moonlightsuite.moonlight.domain
/
DoubleDomain
/
max
max
public
Double
max
(
)
Return
the supremum (aka join) of the lattice defined over the semiring.