solve/it.unibo.tuprolog.solve.exception.error/DomainError/Companion

Companion

object Companion

Functions

fun forArgument( context: ExecutionContext, procedure: Signature, expectedDomain: DomainError.Expected, actualValue: <ERROR CLASS>, index: Int? = null): DomainError

fun forFlagValues( context: ExecutionContext, procedure: Signature, flagValues: Iterable<<ERROR CLASS>>, actualValue: <ERROR CLASS>, index: Int? = null): DomainError

fun forGoal( context: ExecutionContext, procedure: Signature, expectedDomain: DomainError.Expected, actualValue: <ERROR CLASS>): DomainError

fun forTerm( context: ExecutionContext, expectedDomain: DomainError.Expected, actualValue: <ERROR CLASS>): DomainError

Properties

const val typeFunctor: String

The domain error Struct functor