Modifier and Type | Method and Description |
---|---|
ResultList |
ReadableDatabase.executeGroundingQuery(Formula formula)
Like executeQuery(), but specifically for grounding queries.
|
ResultList |
ReadableDatabase.executeQuery(DatabaseQuery query)
Returns all groundings of a Formula that match a DatabaseQuery.
|
Modifier and Type | Method and Description |
---|---|
ResultList |
AtomManager.executeGroundingQuery(Formula formula)
Calls
ReadableDatabase.executeGroundingQuery(Formula) on the
encapsulated Database. |
ResultList |
AtomManager.executeQuery(DatabaseQuery query)
Calls
ReadableDatabase.executeQuery(DatabaseQuery) on the
encapsulated Database. |
Modifier and Type | Class and Description |
---|---|
class |
RDBMSResultList |
Modifier and Type | Method and Description |
---|---|
ResultList |
RDBMSDatabase.executeGroundingQuery(Formula formula) |
ResultList |
RDBMSDatabase.executeQuery(DatabaseQuery query) |
ResultList |
RDBMSDatabase.executeQuery(Map<Variable,Integer> projectionMap,
VariableTypeMap varTypes,
String queryString)
A more general form for executeQuery().
|
Modifier and Type | Method and Description |
---|---|
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.
|
Modifier and Type | Method and Description |
---|---|
int |
AbstractArithmeticRule.groundNonSummationRule(ResultList groundVariables,
AtomManager atomManager,
GroundRuleStore groundRuleStore) |
Modifier and Type | Method and Description |
---|---|
int |
AbstractLogicalRule.groundAll(ResultList groundVariables,
AtomManager atomManager,
GroundRuleStore grs) |
Copyright © 2018 University of California, Santa Cruz. All rights reserved.