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