solve/it.unibo.tuprolog.solve.stdlib.function/FloatFractionalPart

FloatFractionalPart

object FloatFractionalPart : UnaryMathFunction

Implementation of float_fractional_part/1 arithmetic functor

Author

Enrico

Properties

Link copied to clipboard
val descriptionPair: Pair<Signature, LogicFunction>

Gets this wrapped primitive description Pair formed by signature and wrapped primitive type

Link copied to clipboard
val functor: String

A shorthand to get the signature functor name

Link copied to clipboard
override val implementation: LogicFunction

Checked PrologFunction implementation

Link copied to clipboard
Generated by Dokka
© 2026 Copyright