solve
/
it.unibo.tuprolog.solve.exception.error
/
DomainError
/
Expected
/
FACT
common
F
A
C
T
FACT
()
Content copied to clipboard
Functions
Properties
Functions
clone
Link copied to clipboard
common
protected fun
clone
():
Any
Content copied to clipboard
compareTo
Link copied to clipboard
common
operator override fun
compareTo
(other:
DomainError.Expected
):
Int
Content copied to clipboard
equals
Link copied to clipboard
common
operator override fun
equals
(other:
Any
?):
Boolean
Content copied to clipboard
hashCode
Link copied to clipboard
common
override fun
hashCode
():
Int
Content copied to clipboard
toString
Link copied to clipboard
common
open override fun
toString
():
String
Content copied to clipboard
toTerm
Link copied to clipboard
common
open override fun
toTerm
():
Atom
Content copied to clipboard
A function to transform the type to corresponding
Atom
representation
Properties
domain
Link copied to clipboard
common
val
domain
:
String
Content copied to clipboard
The expected domain string description
name
Link copied to clipboard
common
val
name
:
String
Content copied to clipboard
ordinal
Link copied to clipboard
common
val
ordinal
:
Int
Content copied to clipboard