public interface Rule
Modifier and Type | Method and Description |
---|---|
RawQuery |
getGroundingQuery(AtomManager atomManager)
Get the formual that we can use for grounding.
|
String |
getName() |
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.
|
boolean |
isWeighted() |
boolean |
requiresSplit()
Check if this rule needs to be broken up into multiple rules.
|
List<Rule> |
split()
Split this rule into multiple rules.
|
boolean |
supportsGroundingQueryRewriting()
Does this rule support rewriting the grounding formual.
|
boolean |
supportsIndividualGrounding()
Does this rule support grounding out single instances at a time.
|
int groundAll(AtomManager atomManager, GroundRuleStore groundRuleStore)
atomManager
- AtomManager on which to base the groundinggroundRuleStore
- store for new GroundRulesboolean isWeighted()
String getName()
boolean supportsGroundingQueryRewriting()
Formula getRewritableGroundingFormula(AtomManager atomManager)
boolean supportsIndividualGrounding()
RawQuery getGroundingQuery(AtomManager atomManager)
void ground(Constant[] constants, Map<Variable,Integer> variableMap, AtomManager atomManager, List<GroundRule> results)
boolean requiresSplit()
Copyright © 2020 University of California, Santa Cruz. All rights reserved.