Modifier and Type | Class and Description |
---|---|
class |
LazyAtomManager
A persisted atom manager that will keep track of atoms that it returns, but that
don't actually exist (lazy atoms).
|
class |
PersistedAtomManager
Implements the
AtomManager with a twist: this AtomManager will only return
RandomVariableAtoms that were persisted in the Database
at instantiation. |
class |
SimpleAtomManager
AtomManager that does not provide any functionality beyond passing calls
to underlying components.
|
Modifier and Type | Method and Description |
---|---|
static int |
Grounding.groundAll(List<Rule> rules,
AtomManager atomManager,
GroundRuleStore groundRuleStore)
Ground all the given rules.
|
static int |
Grounding.groundAll(Model model,
AtomManager atomManager,
GroundRuleStore groundRuleStore)
Ground all the given rules.
|
static int |
Grounding.groundAllSerial(List<Rule> rules,
AtomManager atomManager,
GroundRuleStore groundRuleStore)
Ground all the given rules one at a time.
|
Modifier and Type | Method and Description |
---|---|
GroundAtom |
QueryAtom.ground(AtomManager atomManager,
Constant[] queryResults,
Map<Variable,Integer> projectionMap) |
GroundAtom |
QueryAtom.ground(AtomManager atomManager,
Constant[] queryResults,
Map<Variable,Integer> projectionMap,
Constant[] newArgs) |
GroundAtom |
QueryAtom.ground(AtomManager atomManager,
Constant[] queryResults,
Map<Variable,Integer> projectionMap,
Constant[] newArgs,
boolean checkDBCache) |
GroundAtom |
QueryAtom.ground(AtomManager atomManager,
ResultList res,
int resultIndex) |
GroundAtom |
QueryAtom.ground(AtomManager atomManager,
ResultList res,
int resultIndex,
Constant[] newArgs)
Ground using the passed in buffer.
|
GroundAtom |
QueryAtom.ground(AtomManager atomManager,
ResultList res,
int resultIndex,
Constant[] newArgs,
boolean checkDBCache) |
Modifier and Type | Method and Description |
---|---|
RawQuery |
Rule.getGroundingQuery(AtomManager atomManager)
Get the formual that we can use for grounding.
|
Formula |
Rule.getRewritableGroundingFormula(AtomManager atomManager)
Get a grounding formual that can be rewritten.
|
void |
Rule.ground(Constant[] constants,
Map<Variable,Integer> variableMap,
AtomManager atomManager,
List<GroundRule> results)
Get the formual that we can use for grounding.
|
int |
Rule.groundAll(AtomManager atomManager,
GroundRuleStore groundRuleStore)
Adds all GroundRules to a GroundRuleStore using the AtomManager
to instantiate ground atoms.
|
Modifier and Type | Method and Description |
---|---|
RawQuery |
AbstractArithmeticRule.getGroundingQuery(AtomManager atomManager) |
Formula |
AbstractArithmeticRule.getRewritableGroundingFormula(AtomManager atomManager) |
void |
AbstractArithmeticRule.ground(Constant[] constants,
Map<Variable,Integer> variableMap,
AtomManager atomManager,
List<GroundRule> results) |
int |
AbstractArithmeticRule.groundAll(AtomManager atomManager,
GroundRuleStore groundRuleStore) |
Modifier and Type | Method and Description |
---|---|
RawQuery |
AbstractLogicalRule.getGroundingQuery(AtomManager atomManager) |
Formula |
AbstractLogicalRule.getRewritableGroundingFormula(AtomManager atomManager) |
void |
AbstractLogicalRule.ground(Constant[] constants,
Map<Variable,Integer> variableMap,
AtomManager atomManager,
List<GroundRule> results) |
int |
AbstractLogicalRule.groundAll(AtomManager atomManager,
GroundRuleStore groundRuleStore) |
int |
AbstractLogicalRule.groundAll(QueryResultIterable groundVariables,
AtomManager atomManager,
GroundRuleStore groundRuleStore) |
Constructor and Description |
---|
DCDStreamingInitialRoundIterator(DCDStreamingTermStore parentStore,
List<WeightedRule> rules,
AtomManager atomManager,
HyperplaneTermGenerator<DCDObjectiveTerm,RandomVariableAtom> termGenerator,
List<DCDObjectiveTerm> termCache,
List<DCDObjectiveTerm> termPool,
ByteBuffer termBuffer,
ByteBuffer volatileBuffer,
int pageSize) |
DCDStreamingTermStore(List<Rule> rules,
AtomManager atomManager) |
Constructor and Description |
---|
SGDStreamingInitialRoundIterator(SGDStreamingTermStore parentStore,
List<WeightedRule> rules,
AtomManager atomManager,
HyperplaneTermGenerator<SGDObjectiveTerm,RandomVariableAtom> termGenerator,
List<SGDObjectiveTerm> termCache,
List<SGDObjectiveTerm> termPool,
ByteBuffer termBuffer,
ByteBuffer volatileBuffer,
int pageSize) |
SGDStreamingTermStore(List<Rule> rules,
AtomManager atomManager) |
Modifier and Type | Field and Description |
---|---|
protected AtomManager |
StreamingTermStore.atomManager |
protected AtomManager |
StreamingInitialRoundIterator.atomManager |
Constructor and Description |
---|
StreamingInitialRoundIterator(StreamingTermStore<T> parentStore,
List<WeightedRule> rules,
AtomManager atomManager,
HyperplaneTermGenerator<T,RandomVariableAtom> termGenerator,
List<T> termCache,
List<T> termPool,
ByteBuffer termBuffer,
ByteBuffer volatileBuffer,
int pageSize) |
StreamingTermStore(List<Rule> rules,
AtomManager atomManager,
HyperplaneTermGenerator<T,RandomVariableAtom> termGenerator) |
Copyright © 2020 University of California, Santa Cruz. All rights reserved.