CASTS |
Reference Location |
Line Number |
Visibility |
org.eclipse.viatra.query.runtime.matchers.aggregators.ExtremumOperator.isNeutral(Object) |
1 |
API |
org.eclipse.viatra.query.runtime.matchers.aggregators.ExtremumOperator.update(Object, Object, boolean) |
1 |
API |
org.eclipse.viatra.query.runtime.matchers.aggregators.ExtremumOperator.getAggregate(Object) |
1 |
API |
DECLARED_PARAMETERIZED_TYPE |
Reference Location |
Line Number |
Visibility |
org.eclipse.viatra.query.runtime.matchers.aggregators.ExtremumOperator |
-1 |
API |
PARAMETER |
Reference Location |
Line Number |
Visibility |
org.eclipse.viatra.query.runtime.matchers.aggregators.ExtremumOperator.isNeutral(SortedMultiset) |
-1 |
API |
org.eclipse.viatra.query.runtime.matchers.aggregators.ExtremumOperator.Extreme.pickFrom(SortedMultiset) |
-1 |
API |
org.eclipse.viatra.query.runtime.matchers.aggregators.ExtremumOperator.update(SortedMultiset, Comparable, boolean) |
-1 |
API |
org.eclipse.viatra.query.runtime.matchers.aggregators.ExtremumOperator.getAggregate(SortedMultiset) |
-1 |
API |
RETURN_TYPE |
Reference Location |
Line Number |
Visibility |
org.eclipse.viatra.query.runtime.matchers.aggregators.ExtremumOperator.update(SortedMultiset, Comparable, boolean) |
-1 |
API |
org.eclipse.viatra.query.runtime.matchers.aggregators.ExtremumOperator.createNeutral() |
-1 |
API |