solve/it.unibo.tuprolog.solve.function/ArithmeticEvaluator/Companion/allowedArithmeticSignatures

allowedArithmeticSignatures

val allowedArithmeticSignatures: List<Signature>

All allowed arithmetic signatures in Prolog expressions