core/it.unibo.tuprolog.core/Substitution/Companion

Companion

object Companion

Substitution companion with factory functionality

Functions

empty

@JvmStatic

fun empty(): Substitution.Unifier

Returns an empty unifier, i.e. an instance of type Substitution.Fail

failed

@JvmStatic

fun failed(): Substitution.Fail

Returns a failed substitution, i.e. an instance of type Substitution.Fail

@JvmStatic

fun of(substitutionPairs: Iterable<Pair<Var, Term>>): Substitution

Crates a Substitution from the given Iterable of Var-Terms. If any contradiction is found, an instance of Substitution.Fail is returned

@JvmStatic

fun of(map: Map<Var, Term>): Substitution.Unifier

Creates a Unifier of given a map assigning Vars to Terms

@JvmStatic

fun of(substitutionPairs: Sequence<Pair<Var, Term>>): Substitution

Crates a Substitution from the given Sequence of Var-Terms. If any contradiction is found, an instance of Substitution.Fail is returned

@JvmStatic

fun of(substitution: Substitution, vararg substitutions: Substitution): Substitution

Composes the provided Substitutions by merging them. If any failure or contradiction is found, the result will be Substitution.Fail

@JvmStatic

fun of(variable: Var, term: Term): Substitution.Unifier

Creates a singleton Unifier containing a single Var-Term assignment

@JvmStatic

fun of(substitutionPair: Pair<Var, Term>, vararg substitutionPairs: Pair<Var, Term>): Substitution

Crates a Substitution from the given Var-Terms. If any contradiction is found, an instance of Substitution.Fail is returned

@JvmStatic

fun of(variable: String, term: Term): Substitution.Unifier

Creates a singleton Unifier containing a single Var-Term assignment. The variable is created on the fly by name, via Var.of

unifier

@JvmStatic

fun unifier(map: Iterable<Pair<Var, Term>>): Substitution.Unifier

Crates a Unifier from the given Iterable of Var-Terms. If any contradiction is found, a SubstitutionException is thrown

@JvmStatic

fun unifier(map: Map<Var, Term>): Substitution.Unifier

@JvmStatic

fun unifier(variable: Var, term: Term): Substitution.Unifier

Creates a Unifier of given a map assigning Vars to Terms

@JvmStatic

fun unifier(map: Sequence<Pair<Var, Term>>): Substitution.Unifier

Crates a Unifier from the given Sequence of Var-Terms. If any contradiction is found, a SubstitutionException is thrown

@JvmStatic

fun unifier(substitutionPair: Pair<Var, Term>, vararg substitutionPairs: Pair<Var, Term>): Substitution.Unifier

Crates a Substitution from the given Var-Terms. If any contradiction is found, a SubstitutionException is thrown

@JvmStatic

fun unifier(variable: String, term: Term): Substitution.Unifier

Creates a singleton Unifier containing a single Var-Term assignment. The variable is created on the fly by name, via Var.of