protected abstract AbstractGroundArithmeticRule |
AbstractArithmeticRule.makeGroundRule(double[] coeffs,
GroundAtom[] atoms,
FunctionComparator comparator,
double c) |
protected AbstractGroundArithmeticRule |
WeightedArithmeticRule.makeGroundRule(double[] coeffs,
GroundAtom[] atoms,
FunctionComparator comparator,
double c) |
protected abstract AbstractGroundArithmeticRule |
AbstractArithmeticRule.makeGroundRule(List<Double> coeffs,
List<GroundAtom> atoms,
FunctionComparator comparator,
double c) |
protected AbstractGroundArithmeticRule |
WeightedArithmeticRule.makeGroundRule(List<Double> coeffs,
List<GroundAtom> atoms,
FunctionComparator comparator,
double c) |