commonMain.it.unibo.tuprolog.solve.directives.ClausePartitionExtensions.kt Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of solve-jvm Show documentation

Resolution-agnostic API for logic solvers

There is a newer version: 1.0.4

package it.unibo.tuprolog.solve.directives

operator fun ClausePartition?.plus(other: ClausePartition?): ClausePartition? =
    when {
        this == null && other == null -> null
        this == null -> other
        other == null -> this
        else -> this + other
    }