open class SubstitutionException: TuPrologException
Fields
| Name | Description |
|---|---|
val substitution: Substitution
|
Constructors
<init>
constructor(substitution: Substitution, message: String?, cause: Throwable?)
Parameters
| Name | Description |
|---|---|
substitution: Substitution
|
|
message: String?
|
|
cause: Throwable?
|
<init>
constructor(substitution: Substitution, cause: Throwable?)
Parameters
| Name | Description |
|---|---|
substitution: Substitution
|
|
cause: Throwable?
|
<init>
constructor(cause: Throwable?)
Parameters
| Name | Description |
|---|---|
cause: Throwable?
|