Added some access to the internals of ground arithmetic rules.
@@ -35,7 +35,6 @@ import java.util.Set;
* @author Stephen Bach
*/
public abstract class AbstractGroundArithmeticRule implements GroundRule {
-
protected final AbstractArithmeticRule rule;
protected final double[] coeffs;
protected final GroundAtom[] atoms;
@@ -124,4 +123,20 @@ public abstract class AbstractGroundArithmeticRule implements GroundRule {
return sb.toString();
}
+
+ public double[] getCoefficients() {
+ return coeffs;
+ }
+
+ public GroundAtom[] getOrderedAtoms() {
+ return atoms;
+ }
+
+ public FunctionComparator getComparator() {
+ return comparator;
+ }
+
+ public double getConstant() {
+ return c;
+ }
}
