commonTest.it.unibo.tuprolog.solve.stdlib.function.FloatFractionalPartTest.kt Maven / Gradle / Ivy

Go to download

package it.unibo.tuprolog.solve.stdlib.function

import it.unibo.tuprolog.core.Numeric
import it.unibo.tuprolog.solve.Signature
import it.unibo.tuprolog.solve.stdlib.function.testutils.FloatFunctionUtils
import it.unibo.tuprolog.solve.stdlib.function.testutils.FunctionUtils.computeOf
import kotlin.test.Test
import kotlin.test.assertEquals

/**
 * Test class for [FloatFractionalPart]
 *
 * @author Enrico
 */
internal class FloatFractionalPartTest {

    @Test
    fun functorNameCorrect() {
        assertEquals(Signature("float_fractional_part", 1), FloatFractionalPart.signature)
    }

    @Test
    fun computationCorrect() {
        FloatFunctionUtils.numbersToFloatParts.forEach { (input, parts) ->
            val (_, fractionalPart) = parts
            assertEquals(
                fractionalPart,
                FloatFractionalPart.computeOf(Numeric.of(input)).castToReal().value
            )
        }
    }
}