public abstract class AbstractLogicalRule extends AbstractRule
Modifier and Type | Field and Description |
---|---|
protected Formula |
formula |
protected FormulaAnalysis.DNFClause |
negatedDNF |
name
Constructor and Description |
---|
AbstractLogicalRule(Formula formula,
String name) |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(Object other) |
FormulaAnalysis.DNFClause |
getDNF() |
Formula |
getFormula() |
int |
groundAll(AtomManager atomManager,
GroundRuleStore grs)
Adds all GroundRules to a GroundRuleStore using the AtomManager
to instantiate ground atoms.
|
int |
groundAll(ResultList groundVariables,
AtomManager atomManager,
GroundRuleStore grs) |
protected abstract AbstractGroundLogicalRule |
groundFormulaInstance(List<GroundAtom> posLiterals,
List<GroundAtom> negLiterals,
int rvaCount) |
int |
hashCode() |
getName
clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait
isWeighted
protected Formula formula
protected final FormulaAnalysis.DNFClause negatedDNF
public Formula getFormula()
public FormulaAnalysis.DNFClause getDNF()
public int groundAll(AtomManager atomManager, GroundRuleStore grs)
Rule
atomManager
- AtomManager on which to base the groundinggrs
- store for new GroundRulespublic int groundAll(ResultList groundVariables, AtomManager atomManager, GroundRuleStore grs)
protected abstract AbstractGroundLogicalRule groundFormulaInstance(List<GroundAtom> posLiterals, List<GroundAtom> negLiterals, int rvaCount)
Copyright © 2018 University of California, Santa Cruz. All rights reserved.