cc.redberry.core.transformations.substitutions

Class SubstitutionTransformation

java.lang.Object

cc.redberry.core.transformations.substitutions.SubstitutionTransformation

All Implemented Interfaces:

Transformation

public final class SubstitutionTransformation
extends java.lang.Object
implements Transformation

Substitution.

Since:

1.0

Nested Class Summary

Nested classes/interfaces inherited from interface cc.redberry.core.transformations.Transformation

Transformation.Util

Field Summary

Fields inherited from interface cc.redberry.core.transformations.Transformation

INDENTITY

Constructor Summary

Constructors

Constructor and Description
SubstitutionTransformation(Expression... expressions) Creates a set of substitutions.
SubstitutionTransformation(Expression expression) Creates a substitution.
SubstitutionTransformation(Expression[] expressions, boolean applyIfModified) Creates a set of substitutions.
SubstitutionTransformation(Tensor[] from, Tensor[] to) Creates a set of substitutions.
SubstitutionTransformation(Tensor[] from, Tensor[] to, boolean applyIfModified) Creates a set of substitutions
SubstitutionTransformation(Tensor from, Tensor to) Creates a substitution
SubstitutionTransformation(Tensor from, Tensor to, boolean applyIfModified) Creates a substitution.

Method Summary

Modifier and Type	Method and Description
SubstitutionTransformation	asSimpleSubstitution() Creates a new substitution, which treats all of the inner substitutions as simple substitutions.
java.lang.String	toString()
Tensor	transform(Tensor t) Transforms specified tensor and returns the result.

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

SubstitutionTransformation

public SubstitutionTransformation(Expression[] expressions,
                                  boolean applyIfModified)

Creates a set of substitutions.

Parameters:

expressions - an array of the expressions

applyIfModified - if false, then if some substitution was applied to some tensor in tree, then others will be skipped in current subtree.

SubstitutionTransformation

public SubstitutionTransformation(Expression expression)

Creates a substitution.

Parameters:

expression - expression

SubstitutionTransformation

public SubstitutionTransformation(Expression... expressions)

Creates a set of substitutions.

Parameters:

expressions - an array of the expressions

SubstitutionTransformation

public SubstitutionTransformation(Tensor from,
                                  Tensor to,
                                  boolean applyIfModified)

Creates a substitution.

Parameters:

from - from tensor

to - to tensor

applyIfModified - if false, then if some substitution was applied to some tensor in tree, then others will be skipped in current subtree.

Throws:

java.lang.IllegalArgumentException - if from free indices are not equal to to free indices

SubstitutionTransformation

public SubstitutionTransformation(Tensor[] from,
                                  Tensor[] to)

Creates a set of substitutions.

Parameters:

from - an array of from tensors

to - an array of to tensors

Throws:

java.lang.IllegalArgumentException - if from.length != to.length

java.lang.IllegalArgumentException - if for there is a pair for which from[i] free indices equal to to[i] free indices

SubstitutionTransformation

public SubstitutionTransformation(Tensor from,
                                  Tensor to)

Creates a substitution

Parameters:

from - from tensor

to - to tensor

Throws:

java.lang.IllegalArgumentException - if from free indices are not equal to to free indices

SubstitutionTransformation

public SubstitutionTransformation(Tensor[] from,
                                  Tensor[] to,
                                  boolean applyIfModified)

Creates a set of substitutions

Parameters:

from - an array of from tensors

to - an array of to tensors

applyIfModified - if false, then if some substitution was applied to some tensor in tree, then others will be skipped in current subtree.

Throws:

java.lang.IllegalArgumentException - if from.length != to.length

java.lang.IllegalArgumentException - if for there is a pair for which from[i] free indices are not equal to to[i] free indices

Method Detail

asSimpleSubstitution

public SubstitutionTransformation asSimpleSubstitution()

Creates a new substitution, which treats all of the inner substitutions as simple substitutions.

Returns:

new substitution, which treats all of the inner substitutions as simple substitutions.

transform

public Tensor transform(Tensor t)

Description copied from interface: Transformation

Transforms specified tensor and returns the result.

Specified by:

transform in interface Transformation

Parameters:

t - tensor

Returns:

transformed tensor

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object