unify
/
it.unibo.tuprolog.unify
/
Equation
/
Contradiction
/
asContradiction
as
Contradiction
open override fun
asContradiction
():
Equation.Contradiction
Content copied to clipboard