public class WeightedGroundLogicalRule extends AbstractGroundLogicalRule implements WeightedGroundRule
function, negLiterals, posLiterals, rule
Modifier | Constructor and Description |
---|---|
protected |
WeightedGroundLogicalRule(WeightedLogicalRule rule,
List<GroundAtom> posLiterals,
List<GroundAtom> negLiterals,
int rvaCount,
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.
|
protected GroundRule |
instantiateNegatedGroundRule(Formula disjunction,
List<GroundAtom> positiveAtoms,
List<GroundAtom> negativeAtoms,
String name) |
boolean |
isSquared() |
void |
setWeight(double weight)
Sets a weight for this WeightedGroundRule.
|
String |
toString() |
equals, getAtoms, getFunction, getNegativeAtoms, getPositiveAtoms, hashCode, negate, size
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
getAtoms, negate
protected WeightedGroundLogicalRule(WeightedLogicalRule rule, List<GroundAtom> posLiterals, List<GroundAtom> negLiterals, int rvaCount, boolean squared)
public WeightedRule getRule()
getRule
in interface GroundRule
getRule
in interface WeightedGroundRule
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 AbstractGroundLogicalRule
protected GroundRule instantiateNegatedGroundRule(Formula disjunction, List<GroundAtom> positiveAtoms, List<GroundAtom> negativeAtoms, String name)
instantiateNegatedGroundRule
in class AbstractGroundLogicalRule
Copyright © 2018 University of California, Santa Cruz. All rights reserved.