public class WeightedLogicalRule extends AbstractLogicalRule implements WeightedRule
Modifier and Type | Field and Description |
---|---|
protected boolean |
squared |
protected double |
weight |
formula, negatedDNF
name
Constructor and Description |
---|
WeightedLogicalRule(Formula formula,
double weight,
boolean squared) |
WeightedLogicalRule(Formula formula,
double weight,
boolean squared,
String name) |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(Object other) |
double |
getWeight() |
protected WeightedGroundLogicalRule |
groundFormulaInstance(List<GroundAtom> posLiterals,
List<GroundAtom> negLiterals,
short rvaCount) |
boolean |
isSquared() |
boolean |
isWeighted() |
void |
setWeight(double weight) |
String |
toString() |
getFormula, getGroundingQuery, getNegatedDNF, getRewritableGroundingFormula, ground, groundAll, groundAll, hashCode, supportsGroundingQueryRewriting, supportsIndividualGrounding
getName, requiresSplit, split
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
getGroundingQuery, getName, getRewritableGroundingFormula, ground, groundAll, requiresSplit, split, supportsGroundingQueryRewriting, supportsIndividualGrounding
public WeightedLogicalRule(Formula formula, double weight, boolean squared)
protected WeightedGroundLogicalRule groundFormulaInstance(List<GroundAtom> posLiterals, List<GroundAtom> negLiterals, short rvaCount)
groundFormulaInstance
in class AbstractLogicalRule
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 AbstractLogicalRule
Copyright © 2020 University of California, Santa Cruz. All rights reserved.