alchemist
Toggle table of contents
42.3.15
alldocs
Target filter
alldocs
Switch theme
Search in API
Skip to content
alchemist
alchemist
/
it.unibo.alchemist.model
/
TerminationPredicate
/
or
or
alldocs
open
fun
or
(
other
:
TerminationPredicate
<
T
,
P
>
)
:
TerminationPredicate
<
T
,
P
>
Builds a predicate that is true if both
this
and the
other
predicate are true.