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) |
Formula |
getFormula() |
RawQuery |
getGroundingQuery(AtomManager atomManager)
Get the formual that we can use for grounding.
|
FormulaAnalysis.DNFClause |
getNegatedDNF() |
Formula |
getRewritableGroundingFormula(AtomManager atomManager)
Get a grounding formual that can be rewritten.
|
void |
ground(Constant[] constants,
Map<Variable,Integer> variableMap,
AtomManager atomManager,
List<GroundRule> results)
Get the formual that we can use for grounding.
|
int |
groundAll(AtomManager atomManager,
GroundRuleStore groundRuleStore)
Adds all GroundRules to a GroundRuleStore using the AtomManager
to instantiate ground atoms.
|
int |
groundAll(QueryResultIterable groundVariables,
AtomManager atomManager,
GroundRuleStore groundRuleStore) |
protected abstract AbstractGroundLogicalRule |
groundFormulaInstance(List<GroundAtom> positiveAtoms,
List<GroundAtom> negativeAtoms,
short rvaCount) |
int |
hashCode() |
boolean |
supportsGroundingQueryRewriting()
Does this rule support rewriting the grounding formual.
|
boolean |
supportsIndividualGrounding()
Does this rule support grounding out single instances at a time.
|
getName, requiresSplit, split
clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait
isWeighted
protected Formula formula
protected final FormulaAnalysis.DNFClause negatedDNF
public Formula getFormula()
public FormulaAnalysis.DNFClause getNegatedDNF()
public int groundAll(AtomManager atomManager, GroundRuleStore groundRuleStore)
Rule
atomManager
- AtomManager on which to base the groundinggroundRuleStore
- store for new GroundRulespublic boolean supportsGroundingQueryRewriting()
Rule
public Formula getRewritableGroundingFormula(AtomManager atomManager)
Rule
public boolean supportsIndividualGrounding()
Rule
public RawQuery getGroundingQuery(AtomManager atomManager)
Rule
public void ground(Constant[] constants, Map<Variable,Integer> variableMap, AtomManager atomManager, List<GroundRule> results)
Rule
public int groundAll(QueryResultIterable groundVariables, AtomManager atomManager, GroundRuleStore groundRuleStore)
protected abstract AbstractGroundLogicalRule groundFormulaInstance(List<GroundAtom> positiveAtoms, List<GroundAtom> negativeAtoms, short rvaCount)
Copyright © 2020 University of California, Santa Cruz. All rights reserved.