core/it.unibo.tuprolog.core/Substitution/castToFail

castToFail

open fun castToFail(): Substitution.Fail

Casts the current Substitution to Fail, if possible

Return

the current Substitution, casted to Fail

Throws

ClassCastException

if the current Substitution is not an instance of Fail