fr.lirmm.graphik.graal.core

Class FreshVarSubstitution

java.lang.Object

fr.lirmm.graphik.graal.core.AbstractSubstitution

fr.lirmm.graphik.graal.core.AbstractMapBasedSubstitution

fr.lirmm.graphik.graal.core.TreeMapSubstitution

fr.lirmm.graphik.graal.core.FreshVarSubstitution

All Implemented Interfaces:

Substitution, AppendableToStringBuilder, Comparable<Substitution>

public class FreshVarSubstitution
extends TreeMapSubstitution

Author:

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

Constructor Summary

Constructors

Constructor and Description
FreshVarSubstitution()
FreshVarSubstitution(VariableGenerator gen)

Method Summary

Modifier and Type	Method and Description
Term	createImageOf(Term term) Get the image of the given term by this substitution, if there is no image specified return the term itself.

Methods inherited from class fr.lirmm.graphik.graal.core.TreeMapSubstitution

getMap

Methods inherited from class fr.lirmm.graphik.graal.core.AbstractMapBasedSubstitution

aggregate, getTerms, getValues, hashCode, put, remove

Methods inherited from class fr.lirmm.graphik.graal.core.AbstractSubstitution

aggregate, appendTo, apply, apply, compareTo, compose, compose, createImageOf, createImageOf, createImageOf, createImageOf, createImageOf, equals, equals, put, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface fr.lirmm.graphik.graal.api.core.Substitution

aggregate, apply, apply, compose, compose, createImageOf, createImageOf, createImageOf, createImageOf, createImageOf, put

Methods inherited from interface java.lang.Comparable

compareTo

Methods inherited from interface fr.lirmm.graphik.util.string.AppendableToStringBuilder

appendTo

Constructor Detail

FreshVarSubstitution

public FreshVarSubstitution()

FreshVarSubstitution

public FreshVarSubstitution(VariableGenerator gen)

Method Detail

createImageOf

public Term createImageOf(Term term)

Description copied from interface: Substitution

Get the image of the given term by this substitution, if there is no image specified return the term itself.

Specified by:

createImageOf in interface Substitution

Overrides:

createImageOf in class AbstractMapBasedSubstitution

Returns:

the image of the specified term.