Package tools.refinery.logic.term.real

Class RealSumAggregator

java.lang.Object

tools.refinery.logic.term.real.RealSumAggregator

All Implemented Interfaces:

Aggregator<Double,Double>, StatefulAggregator<Double,Double>

public final class RealSumAggregator
extends Object
implements StatefulAggregator<Double,Double>

Field Summary

Fields

Modifier and Type	Field	Description
static final RealSumAggregator	INSTANCE

Method Summary

Modifier and Type	Method	Description
StatefulAggregate<Double,Double>	createEmptyAggregate()
@NotNull Double	getEmptyResult()
Class<Double>	getInputType()
Class<Double>	getResultType()

Methods inherited from class java.lang.Object

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

Methods inherited from interface tools.refinery.logic.term.StatefulAggregator

aggregateStream

Field Details

INSTANCE

public static final RealSumAggregator INSTANCE

Method Details

getResultType

public Class<Double> getResultType()

Specified by:

getResultType in interface Aggregator<Double,Double>

getInputType

public Class<Double> getInputType()

Specified by:

getInputType in interface Aggregator<Double,Double>

createEmptyAggregate

public StatefulAggregate<Double,Double> createEmptyAggregate()

Specified by:

createEmptyAggregate in interface StatefulAggregator<Double,Double>

getEmptyResult

@NotNull
public @NotNull Double getEmptyResult()

Specified by:

getEmptyResult in interface Aggregator<Double,Double>

Specified by:

getEmptyResult in interface StatefulAggregator<Double,Double>