alchemist/it.unibo.alchemist.model/TerminationPredicate/or

or

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.