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() |
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)
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.