Package tools.refinery.logic.term.real
Class RealTerms
java.lang.Object
tools.refinery.logic.term.real.RealTerms
-
Field Summary
Modifier and TypeFieldDescriptionstatic final Aggregator
<Double, Double> static final Aggregator
<Double, Double> static final Aggregator
<Double, Double> -
Method Summary
Modifier and TypeMethodDescription