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, negate
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
getAtoms, negate
protected 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 GroundRule
getRule
in interface WeightedGroundRule
getRule
in class AbstractGroundArithmeticRule
Rule
public boolean isSquared()
isSquared
in interface WeightedGroundRule
public double getWeight()
WeightedGroundRule
getWeight
in interface WeightedGroundRule
public void setWeight(double weight)
WeightedGroundRule
setWeight
in interface WeightedGroundRule
public GeneralFunction getFunctionDefinition()
getFunctionDefinition
in interface WeightedGroundRule
public double getIncompatibility()
WeightedGroundRule
getIncompatibility
in interface WeightedGroundRule
public double getIncompatibility(GroundAtom replacementAtom, double replacementValue)
WeightedGroundRule
getIncompatibility
in interface WeightedGroundRule
public String toString()
toString
in class AbstractGroundArithmeticRule
Copyright © 2018 University of California, Santa Cruz. All rights reserved.