class CachedUnificator: Unificator, Any
Fields
Name | Description |
---|---|
val context: Substitution
|
The context (in terms of already present bindings) in which the unification is performed |
val decorated: Unificator
|
Constructors
<init>
constructor(decorated: Unificator, cacheCapacity: Int)
Parameters
Name | Description |
---|---|
decorated: Unificator
|
|
cacheCapacity: Int
|
Methods
mgu
fun mgu(term1: Term, term2: Term, occurCheckEnabled: Boolean): Substitution
ReturnValue
Name | Description |
---|---|
Substitution
|
merge
fun merge(substitution1: Substitution, substitution2: Substitution, occurCheckEnabled: Boolean): Substitution
Merges two Substitutions
Parameters
Name | Description |
---|---|
substitution1: Substitution
|
|
substitution2: Substitution
|
|
occurCheckEnabled: Boolean
|
ReturnValue
Name | Description |
---|---|
Substitution
|
Calculates the Most General Unifier of given Terms, optionally enabling occur-check