fr.lirmm.graphik.graal.core

Class Substitutions

java.lang.Object

fr.lirmm.graphik.graal.core.Substitutions

public final class Substitutions
extends Object

Author:

Clément Sipieter (INRIA) <clement@6pi.fr>

Method Summary

Modifier and Type	Method and Description
static Substitution	add(Substitution s1, Substitution s2)
static Substitution	aggregate(Substitution s1, Substitution s2)
static Atom	createImageOf(Atom atom, Variable var, Term image) Create a new Atom which is the image of the specified atom by replacing the specified term by the specified image.
static Substitution	emptySubstitution()
static Partition<Term>	toPartition(Substitution s)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

emptySubstitution

public static Substitution emptySubstitution()

add

public static Substitution add(Substitution s1,
                               Substitution s2)

toPartition

public static Partition<Term> toPartition(Substitution s)

createImageOf

public static Atom createImageOf(Atom atom,
                                 Variable var,
                                 Term image)

Create a new Atom which is the image of the specified atom by replacing the specified term by the specified image.

Parameters:

atom -

var - the variable to replace

image - the image of the specified term

Returns:

a new Atom which is the image of the specified atom.

aggregate

public static Substitution aggregate(Substitution s1,
                                     Substitution s2)