protected AbstractGroundArithmeticRule |
WeightedArithmeticRule.makeGroundRule(float[] coeffs,
GroundAtom[] atoms,
FunctionComparator comparator,
float constant) |
protected abstract AbstractGroundArithmeticRule |
AbstractArithmeticRule.makeGroundRule(float[] coefficients,
GroundAtom[] atoms,
FunctionComparator comparator,
float constant) |
protected AbstractGroundArithmeticRule |
WeightedArithmeticRule.makeGroundRule(List<Float> coeffs,
List<GroundAtom> atoms,
FunctionComparator comparator,
float constant) |
protected abstract AbstractGroundArithmeticRule |
AbstractArithmeticRule.makeGroundRule(List<Float> coefficients,
List<GroundAtom> atoms,
FunctionComparator comparator,
float constant) |