commonMain.it.unibo.tuprolog.solve.function.BinaryMathFunction.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.function

import it.unibo.tuprolog.core.Integer
import it.unibo.tuprolog.core.Numeric
import it.unibo.tuprolog.core.Real
import it.unibo.tuprolog.core.Var
import it.unibo.tuprolog.solve.ExecutionContext
import it.unibo.tuprolog.solve.exception.error.InstantiationError
import it.unibo.tuprolog.solve.exception.error.TypeError

/**
 * Base class to implement unary math functions
 *
 * @param name the function name
 *
 * @author Enrico
 */
abstract class BinaryMathFunction(name: String) : MathFunction(name, 2) {
    override fun uncheckedImplementation(request: Compute.Request): Compute.Response =
        with(request) {
            val term1 = arguments.first()
            val term2 = arguments.last()
            replyWith(
                when {
                    term1 is Integer && term2 is Integer -> mathFunction(term1, term2, context)
                    term1 is Real && term2 is Integer -> mathFunction(term1, term2, context)
                    term1 is Integer && term2 is Real -> mathFunction(term1, term2, context)
                    term1 is Real && term2 is Real -> mathFunction(term1, term2, context)
                    term1 is Var -> throw InstantiationError.forArgument(context, signature, term1, 0)
                    term2 is Var -> throw InstantiationError.forArgument(context, signature, term2, 1)
                    else -> throw TypeError.forArgument(context, signature, TypeError.Expected.NUMBER, term1, 0)
                },
            )
        }

    /** The actual math function implementation, for [Integer]s */
    protected abstract fun mathFunction(
        integer1: Integer,
        integer2: Integer,
        context: ExecutionContext,
    ): Numeric

    /** The actual math function implementation, for [Real] and [Integer] */
    protected abstract fun mathFunction(
        real: Real,
        integer: Integer,
        context: ExecutionContext,
    ): Numeric

    /** The actual math function implementation, for [Integer] and [Real] */
    protected abstract fun mathFunction(
        integer: Integer,
        real: Real,
        context: ExecutionContext,
    ): Numeric

    /** The actual math function implementation, for [Real]s */
    protected abstract fun mathFunction(
        real1: Real,
        real2: Real,
        context: ExecutionContext,
    ): Numeric
}