solve
0.20.9
common
solve
/
it.unibo.tuprolog.solve.exception.error
/
DomainError
/
Companion
/
forArgument
for
Argument
common
@
JvmStatic
fun
forArgument
(
context
:
ExecutionContext
,
procedure
:
Signature
,
expectedDomain
:
DomainError.Expected
,
actualValue
:
<ERROR CLASS>
,
index
:
Int
?
=
null
)
:
DomainError
Content copied to clipboard