viaduct
0.3.0
compiler
/
io.github.aplcornell.viaduct.algebra.solver
/
Term
/
meet
meet
open
infix override
fun
meet
(
that
:
Term
<
C
,
V
>
)
:
Term
<
C
,
V
>
The greatest lower bound of
this
and
that
.
@
JvmName
(
name
=
"meetConstant"
)
fun
meet
(
that
:
C
)
:
Term
<
C
,
V
>
@
JvmName
(
name
=
"meetVariable"
)
fun
meet
(
that
:
V
)
:
Term
<
C
,
V
>