Class HashMapSubstitution

java.lang.Object

fr.lirmm.graphik.integraal.core.AbstractSubstitution

fr.lirmm.graphik.integraal.core.AbstractMapBasedSubstitution

fr.lirmm.graphik.integraal.core.HashMapSubstitution

All Implemented Interfaces:

Substitution, Comparable<Substitution>

public class HashMapSubstitution
extends AbstractMapBasedSubstitution

An implementation of Substitution using a HashMap.

Author:

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

Constructor Summary

Constructors

Constructor	Description
HashMapSubstitution()	Creates an empty substitution backed by a hash map.
HashMapSubstitution(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

HashMapSubstitution

public HashMapSubstitution()

Creates an empty substitution backed by a hash map.

HashMapSubstitution

public HashMapSubstitution(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