Class FreshVarSubstitution

java.lang.Object

fr.lirmm.graphik.integraal.core.AbstractSubstitution

fr.lirmm.graphik.integraal.core.AbstractMapBasedSubstitution

fr.lirmm.graphik.integraal.core.TreeMapSubstitution

fr.lirmm.graphik.integraal.core.FreshVarSubstitution

All Implemented Interfaces:

Substitution, Comparable<Substitution>

public class FreshVarSubstitution
extends TreeMapSubstitution

Substitution that maps terms to freshly generated variables.

Author:

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

See Also:

• FreshVarMapper

Constructor Summary

Constructors

Constructor	Description
FreshVarSubstitution()	Creates a substitution backed by a default fresh-variable generator.
FreshVarSubstitution(VariableGenerator gen)	Creates a substitution using the provided generator.
FreshVarSubstitution(VariableGenerator gen, Iterable<Term> termsToSubstitute)	Creates a substitution and eagerly substitutes the provided terms.

Method Summary

Modifier and Type	Method	Description
void	appendTo(StringBuilder sb)	Appends this object representation to the provided builder.
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 TreeMapSubstitution

getMap

Methods inherited from class AbstractMapBasedSubstitution

aggregate, getTerms, getValues, put, remove

Methods inherited from class AbstractSubstitution

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

Methods inherited from class Object

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

Methods inherited from interface Comparable

compareTo

Methods inherited from interface Substitution

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

Constructor Details

FreshVarSubstitution

public FreshVarSubstitution()

Creates a substitution backed by a default fresh-variable generator.

FreshVarSubstitution

public FreshVarSubstitution(VariableGenerator gen)

Creates a substitution using the provided generator.

Parameters:

gen - the generator used to create fresh variables

FreshVarSubstitution

public FreshVarSubstitution(VariableGenerator gen,
 Iterable<Term> termsToSubstitute)

Creates a substitution and eagerly substitutes the provided terms.

Parameters:

gen - the generator used to create fresh variables

termsToSubstitute - the initial terms to substitute

Method Details

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

Parameters:

term - the term to substitute

Returns:

the image of the specified term.

appendTo

void appendTo(StringBuilder sb)

Appends this object representation to the provided builder.

Parameters:

sb - the target builder