public class WeightedGroundArithmeticRule extends AbstractGroundArithmeticRule implements WeightedGroundRule
atoms, coeffs, comparator, constant, rule| Modifier | Constructor and Description |
|---|---|
protected |
WeightedGroundArithmeticRule(WeightedArithmeticRule rule,
double[] coeffs,
GroundAtom[] atoms,
FunctionComparator comparator,
double constant,
boolean squared) |
protected |
WeightedGroundArithmeticRule(WeightedArithmeticRule rule,
List<Double> coeffs,
List<GroundAtom> atoms,
FunctionComparator comparator,
double constant,
boolean squared) |
| Modifier and Type | Method and Description |
|---|---|
GeneralFunction |
getFunctionDefinition() |
double |
getIncompatibility()
Returns the incompatibility of the truth values of this GroundRule's GroundAtoms.
|
double |
getIncompatibility(GroundAtom replacementAtom,
double replacementValue)
Returns the incompatibility of the truth values of this GroundRule's GroundAtoms given
the replacment of a single atom's value with another value.
|
WeightedRule |
getRule() |
double |
getWeight()
Returns the Weight of this WeightedGroundRule.
|
boolean |
isSquared() |
void |
setWeight(double weight)
Sets a weight for this WeightedGroundRule.
|
String |
toString() |
getAtoms, getCoefficients, getComparator, getConstant, getOrderedAtoms, negateclone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, waitgetAtoms, negateprotected WeightedGroundArithmeticRule(WeightedArithmeticRule rule, List<Double> coeffs, List<GroundAtom> atoms, FunctionComparator comparator, double constant, boolean squared)
protected WeightedGroundArithmeticRule(WeightedArithmeticRule rule, double[] coeffs, GroundAtom[] atoms, FunctionComparator comparator, double constant, boolean squared)
public WeightedRule getRule()
getRule in interface GroundRulegetRule in interface WeightedGroundRulegetRule in class AbstractGroundArithmeticRuleRulepublic boolean isSquared()
isSquared in interface WeightedGroundRulepublic double getWeight()
WeightedGroundRulegetWeight in interface WeightedGroundRulepublic void setWeight(double weight)
WeightedGroundRulesetWeight in interface WeightedGroundRulepublic GeneralFunction getFunctionDefinition()
getFunctionDefinition in interface WeightedGroundRulepublic double getIncompatibility()
WeightedGroundRulegetIncompatibility in interface WeightedGroundRulepublic double getIncompatibility(GroundAtom replacementAtom, double replacementValue)
WeightedGroundRulegetIncompatibility in interface WeightedGroundRulepublic String toString()
toString in class AbstractGroundArithmeticRuleCopyright © 2018 University of California, Santa Cruz. All rights reserved.