Package tools.refinery.logic.term

Class PartialAggregator.MultiplicitySensitive<A extends AbstractValue<A,C>,C,A2 extends AbstractValue<A2,C2>,C2,T>

java.lang.Object

tools.refinery.logic.term.PartialAggregator<A,C,A2,C2>

tools.refinery.logic.term.PartialAggregator.MultiplicitySensitive<A,C,A2,C2,T>

All Implemented Interfaces:

AnyPartialAggregator

Enclosing class:

PartialAggregator<A extends AbstractValue<A,C>,C,A2 extends AbstractValue<A2,C2>,C2>

public static final class PartialAggregator.MultiplicitySensitive<A extends AbstractValue<A,C>,C,A2 extends AbstractValue<A2,C2>,C2,T>
extends PartialAggregator<A,C,A2,C2>

Nested Class Summary

Nested classes/interfaces inherited from class tools.refinery.logic.term.PartialAggregator

PartialAggregator.JoinAggregator<A extends AbstractValue<A,C>,C>, PartialAggregator.MeetAggregator<A extends AbstractValue<A,C>,C>, PartialAggregator.MultiplicityInsensitive<A extends AbstractValue<A,C>,C,A2 extends AbstractValue<A2,C2>,C2>, PartialAggregator.MultiplicitySensitive<A extends AbstractValue<A,C>,C,A2 extends AbstractValue<A2,C2>,C2,T>

Method Summary

Modifier and Type	Method	Description
Aggregator<A,T>	getInnerAggregator()
Class<T>	getIntermediateType()
Term<T>	withWeight(Term<IntInterval> left, Term<A2> right)

Methods inherited from class tools.refinery.logic.term.PartialAggregator

getBodyDomain, getResultDomain, join, meet, multiplicityInsensitive, multiplicityInsensitive, multiplicitySensitive, multiplicitySensitive, multiplicitySensitive, multiplicitySensitive

Methods inherited from class java.lang.Object

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

Method Details

getIntermediateType

public Class<T> getIntermediateType()

withWeight

public Term<T> withWeight(Term<IntInterval> left,
 Term<A2> right)

getInnerAggregator

public Aggregator<A,T> getInnerAggregator()