public class UnweightedLogicalRule extends AbstractLogicalRule implements UnweightedRule
formula, negatedDNF
name
Constructor and Description |
---|
UnweightedLogicalRule(Formula formula) |
UnweightedLogicalRule(Formula formula,
String name) |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(Object other) |
protected AbstractGroundLogicalRule |
groundFormulaInstance(List<GroundAtom> posLiterals,
List<GroundAtom> negLiterals,
short rvaCount) |
boolean |
isWeighted() |
WeightedRule |
relax(double weight,
boolean squared) |
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 UnweightedLogicalRule(Formula formula)
public WeightedRule relax(double weight, boolean squared)
relax
in interface UnweightedRule
protected AbstractGroundLogicalRule groundFormulaInstance(List<GroundAtom> posLiterals, List<GroundAtom> negLiterals, short rvaCount)
groundFormulaInstance
in class AbstractLogicalRule
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.