public class WeightedArithmeticRule extends AbstractArithmeticRule implements WeightedRule
Modifier and Type | Field and Description |
---|---|
protected boolean |
squared |
protected double |
weight |
expression, filters
name
Constructor and Description |
---|
WeightedArithmeticRule(ArithmeticRuleExpression expression,
double weight,
boolean squared) |
WeightedArithmeticRule(ArithmeticRuleExpression expression,
double weight,
boolean squared,
String name) |
WeightedArithmeticRule(ArithmeticRuleExpression expression,
Map<SummationVariable,Formula> filterClauses,
double weight,
boolean squared) |
WeightedArithmeticRule(ArithmeticRuleExpression expression,
Map<SummationVariable,Formula> filterClauses,
double weight,
boolean squared,
String name) |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(Object other) |
double |
getWeight() |
boolean |
isSquared() |
boolean |
isWeighted() |
protected AbstractGroundArithmeticRule |
makeGroundRule(float[] coeffs,
GroundAtom[] atoms,
FunctionComparator comparator,
float constant) |
protected AbstractGroundArithmeticRule |
makeGroundRule(List<Float> coeffs,
List<GroundAtom> atoms,
FunctionComparator comparator,
float constant) |
void |
setWeight(double weight) |
String |
toString() |
getBodyPredicates, getExpression, getGroundingQuery, getRewritableGroundingFormula, ground, groundAll, hashCode, hasSummation, requiresSplit, split, supportsGroundingQueryRewriting, supportsIndividualGrounding
getName
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
getGroundingQuery, getName, getRewritableGroundingFormula, ground, groundAll, requiresSplit, split, supportsGroundingQueryRewriting, supportsIndividualGrounding
public WeightedArithmeticRule(ArithmeticRuleExpression expression, double weight, boolean squared)
public WeightedArithmeticRule(ArithmeticRuleExpression expression, double weight, boolean squared, String name)
public WeightedArithmeticRule(ArithmeticRuleExpression expression, Map<SummationVariable,Formula> filterClauses, double weight, boolean squared)
public WeightedArithmeticRule(ArithmeticRuleExpression expression, Map<SummationVariable,Formula> filterClauses, double weight, boolean squared, String name)
protected AbstractGroundArithmeticRule makeGroundRule(float[] coeffs, GroundAtom[] atoms, FunctionComparator comparator, float constant)
makeGroundRule
in class AbstractArithmeticRule
protected AbstractGroundArithmeticRule makeGroundRule(List<Float> coeffs, List<GroundAtom> atoms, FunctionComparator comparator, float constant)
makeGroundRule
in class AbstractArithmeticRule
public boolean isSquared()
isSquared
in interface WeightedRule
public double getWeight()
getWeight
in interface WeightedRule
public void setWeight(double weight)
setWeight
in interface WeightedRule
public boolean isWeighted()
isWeighted
in interface Rule
public boolean equals(Object other)
equals
in class AbstractArithmeticRule
Copyright © 2020 University of California, Santa Cruz. All rights reserved.