CachedUnificator

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

Calculates the Most General Unifier of given Terms, optionally enabling occur-check

Parameters

Name Description
term1: Term
term2: Term
occurCheckEnabled: Boolean

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