Modifier and Type | Method and Description |
---|---|
static int |
groundAll(List<Rule> rules,
AtomManager atomManager,
GroundRuleStore groundRuleStore)
Ground all the given rules.
|
static int |
groundAll(Model model,
AtomManager atomManager,
GroundRuleStore groundRuleStore)
Ground all the given rules.
|
static int |
groundAllSerial(List<Rule> rules,
AtomManager atomManager,
GroundRuleStore groundRuleStore)
Ground all the given rules one at a time.
|
public static int groundAll(Model model, AtomManager atomManager, GroundRuleStore groundRuleStore)
public static int groundAllSerial(List<Rule> rules, AtomManager atomManager, GroundRuleStore groundRuleStore)
public static int groundAll(List<Rule> rules, AtomManager atomManager, GroundRuleStore groundRuleStore)
Copyright © 2020 University of California, Santa Cruz. All rights reserved.