public class WeightedArithmeticRule extends AbstractArithmeticRule implements WeightedRule
Modifier and Type | Field and Description |
---|---|
protected boolean |
squared |
protected double |
weight |
CONFIG_PREFIX, delim, DELIM_DEFAULT, DELIM_KEY, 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(double[] coeffs,
GroundAtom[] atoms,
FunctionComparator comparator,
double c) |
protected AbstractGroundArithmeticRule |
makeGroundRule(List<Double> coeffs,
List<GroundAtom> atoms,
FunctionComparator comparator,
double c) |
void |
setWeight(double weight) |
String |
toString() |
getBodyPredicates, getExpression, groundAll, groundNonSummationRule, hashCode, hasSummation, validateGroundRule
getName
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(double[] coeffs, GroundAtom[] atoms, FunctionComparator comparator, double c)
makeGroundRule
in class AbstractArithmeticRule
protected AbstractGroundArithmeticRule makeGroundRule(List<Double> coeffs, List<GroundAtom> atoms, FunctionComparator comparator, double c)
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 © 2018 University of California, Santa Cruz. All rights reserved.