• Home
• it.unibo.tuprolog
• solve-jvm
• 1.0.4
• source code
• ClausePartitionExtensions.kt

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

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

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
    }