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 f,
double weight,
boolean squared) |
WeightedLogicalRule(Formula f,
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,
int rvaCount) |
boolean |
isSquared() |
boolean |
isWeighted() |
void |
setWeight(double weight) |
String |
toString() |
getDNF, getFormula, groundAll, groundAll, hashCode
getName
public WeightedLogicalRule(Formula f, double weight, boolean squared)
protected WeightedGroundLogicalRule groundFormulaInstance(List<GroundAtom> posLiterals, List<GroundAtom> negLiterals, int 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 © 2018 University of California, Santa Cruz. All rights reserved.