cc.redberry.core.utils

Class LocalSymbolsProvider

java.lang.Object

cc.redberry.core.utils.LocalSymbolsProvider

All Implemented Interfaces:

OutputPort<SimpleTensor>

public class LocalSymbolsProvider
extends java.lang.Object
implements OutputPort<SimpleTensor>

Sequentially generates variables of the form "prefix0","prefix1","prefix2","prefix3" etc., so that each symbol does not appear in the specified tensor.

See Also:

TensorUtils.generateReplacementsOfScalars(cc.redberry.core.tensor.Tensor, OutputPort)

Nested Class Summary

Nested classes/interfaces inherited from interface cc.redberry.core.utils.OutputPort

OutputPort.PortIterable<T>, OutputPort.PortIterator<T>, OutputPort.Singleton<T>

Constructor Summary

Constructors

Constructor and Description
LocalSymbolsProvider(Tensor forbidden, java.lang.String prefix) Creates provider with given prefix.

Method Summary

Modifier and Type	Method and Description
SimpleTensor	take()

Methods inherited from class java.lang.Object

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

Constructor Detail

LocalSymbolsProvider

public LocalSymbolsProvider(Tensor forbidden,
                            java.lang.String prefix)

Creates provider with given prefix.

Parameters:

forbidden - forbidden content

prefix - string prefix

Method Detail

take

public SimpleTensor take()

Specified by:

take in interface OutputPort<SimpleTensor>