unify/it.unibo.tuprolog.unify/Equation

Equation

sealed class Equation
Content copied to clipboard

A class representing an Equation of logic terms, to be unified;

LHS stands for Left-Hand side and RHS stands for Right-Hand side, of the Equation

Types

Link copied to clipboard
data class Assignment(val lhs: <ERROR CLASS>, val rhs: <ERROR CLASS>) : Equation
Content copied to clipboard

An equation stating Var = Term

Link copied to clipboard
object Companion
Content copied to clipboard

Equation companion object

Link copied to clipboard
data class Comparison(val lhs: <ERROR CLASS>, val rhs: <ERROR CLASS>) : Equation
Content copied to clipboard

An equation comparing Terms, possibly different

Link copied to clipboard
data class Contradiction(val lhs: <ERROR CLASS>, val rhs: <ERROR CLASS>) : Equation
Content copied to clipboard

A contradicting equation, trying to equate non equal Terms

Link copied to clipboard
data class Identity(val lhs: <ERROR CLASS>, val rhs: <ERROR CLASS>) : Equation
Content copied to clipboard

An equation of identical Terms

Functions

Link copied to clipboard
@JvmOverloads
fun apply(substitution: <ERROR CLASS>, equalityChecker: (<ERROR CLASS>, <ERROR CLASS>) -> Boolean = Term::equals): Equation
Content copied to clipboard

Applies given substitution to the Equation left-hand and right-hand sides, returning the new Equation

Link copied to clipboard
open fun asAssignment(): Equation.Assignment?
Content copied to clipboard
Link copied to clipboard
open fun asComparison(): Equation.Comparison?
Content copied to clipboard
Link copied to clipboard
open fun asContradiction(): Equation.Contradiction?
Content copied to clipboard
Link copied to clipboard
open fun asIdentity(): Equation.Identity?
Content copied to clipboard
Link copied to clipboard
fun castToAssignment(): Equation.Assignment
Content copied to clipboard
Link copied to clipboard
fun castToComparison(): Equation.Comparison
Content copied to clipboard
Link copied to clipboard
fun castToContradiction(): Equation.Contradiction
Content copied to clipboard
Link copied to clipboard
fun castToIdentity(): Equation.Identity
Content copied to clipboard
Link copied to clipboard
fun swap(): Equation
Content copied to clipboard
Link copied to clipboard
open fun toPair(): Pair<<ERROR CLASS>, <ERROR CLASS>>
Content copied to clipboard
Link copied to clipboard
open fun toTerm(): <ERROR CLASS>
Content copied to clipboard

Properties

Link copied to clipboard
open val isAssignment: Boolean
Content copied to clipboard
Link copied to clipboard
open val isComparison: Boolean
Content copied to clipboard
Link copied to clipboard
open val isContradiction: Boolean
Content copied to clipboard
Link copied to clipboard
open val isIdentity: Boolean
Content copied to clipboard
Link copied to clipboard
open val lhs: <ERROR CLASS>
Content copied to clipboard

The left-hand side of the equation

Link copied to clipboard
open val rhs: <ERROR CLASS>
Content copied to clipboard

The right-hand side of the equation

Inheritors

Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard

Extensions

Link copied to clipboard
fun Equation.toAssignmentPair(): Pair<<ERROR CLASS>, <ERROR CLASS>>
Content copied to clipboard
Link copied to clipboard
fun Equation.toSubstitution(): <ERROR CLASS>
Content copied to clipboard

Transforms an Equation of a Var with a Term to the corresponding Substitution