Class TreeMapSubstitution

java.lang.Object

fr.lirmm.graphik.integraal.core.AbstractSubstitution

fr.lirmm.graphik.integraal.core.AbstractMapBasedSubstitution

fr.lirmm.graphik.integraal.core.TreeMapSubstitution

All Implemented Interfaces:

Substitution, Comparable<Substitution>

Direct Known Subclasses:

FreshVarSubstitution

public class TreeMapSubstitution
extends AbstractMapBasedSubstitution

An implementation of Susbstitution using a TreeMap

Author:

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

Constructor Summary

Constructors

Constructor	Description
TreeMapSubstitution()	Creates an empty tree-map-based substitution.
TreeMapSubstitution(Substitution substitution)	Creates a substitution initialized from the given substitution.

Method Summary

Modifier and Type	Method	Description
void	appendTo(StringBuilder sb)	Appends this object representation to the provided builder.
protected Map<Variable,Term>	getMap()	Returns the mutable map that stores the substitution mappings.

Methods inherited from class AbstractMapBasedSubstitution

aggregate, createImageOf, 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

TreeMapSubstitution

public TreeMapSubstitution()

Creates an empty tree-map-based substitution.

TreeMapSubstitution

public TreeMapSubstitution(Substitution substitution)

Creates a substitution initialized from the given substitution.

Parameters:

substitution - the substitution to copy

Method Details

getMap

protected Map<Variable,Term> getMap()

Description copied from class: AbstractMapBasedSubstitution

Returns the mutable map that stores the substitution mappings.

Specified by:

getMap in class AbstractMapBasedSubstitution

Returns:

the backing map

appendTo

void appendTo(StringBuilder sb)

Appends this object representation to the provided builder.

Parameters:

sb - the target builder