Modifier and Type | Method and Description |
---|---|
Set<Variable> |
DatabaseQuery.getIgnoreVariables() |
Map<Variable,Integer> |
QueryResultIterable.getVariableMap()
Get the mapping between variables and their index in the results.
|
Modifier and Type | Method and Description |
---|---|
Constant |
ResultList.get(int index,
Variable var)
Returns a substitution for a single
Variable |
Constructor and Description |
---|
DatabaseQuery(Formula formula,
boolean distinct,
Set<Variable> ignoreVariables) |
Modifier and Type | Method and Description |
---|---|
Map<Variable,Integer> |
RawQuery.getProjectionMap() |
Map<Variable,Integer> |
Formula2SQL.getProjectionMap() |
Map<Variable,Integer> |
RDBMSResultList.getVariableMap() |
Modifier and Type | Method and Description |
---|---|
Constant |
RDBMSResultList.get(int index,
Variable var) |
int |
RDBMSResultList.getPos(Variable var) |
void |
RDBMSResultList.setVariable(Variable var,
int pos) |
Modifier and Type | Method and Description |
---|---|
ResultList |
RDBMSDatabase.executeQuery(Map<Variable,Integer> projectionMap,
VariableTypeMap varTypes,
String queryString)
A more general form for executeQuery().
|
QueryResultIterable |
RDBMSDatabase.executeQueryIterator(Map<Variable,Integer> projectionMap,
VariableTypeMap varTypes,
String queryString)
Note that the constants are in the order specified by the projection map.
|
QueryResultIterable |
RDBMSDatabase.executeQueryIterator(String queryString,
Map<Variable,Integer> projectionMap,
int[] orderedIndexes,
ConstantType[] orderedTypes) |
Constructor and Description |
---|
Formula2SQL(Set<Variable> projection,
RDBMSDatabase database)
Convert a formula to a query that will fetch all possible combinations of constants used in that
formual (aka grounding).
|
Formula2SQL(Set<Variable> projection,
RDBMSDatabase database,
boolean isDistinct)
See above description.
|
Formula2SQL(Set<Variable> projection,
RDBMSDatabase database,
boolean isDistinct,
Atom lazyTarget)
See above description.
|
RawQuery(String sql,
Map<Variable,Integer> projectionMap,
VariableTypeMap variableTypes) |
Modifier and Type | Method and Description |
---|---|
Set<Variable> |
Atom.getVariables()
Get all the variables used by this atom.
|
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) |
Modifier and Type | Method and Description |
---|---|
Set<Variable> |
FormulaAnalysis.DNFClause.getUnboundVariables()
Returns any unbound variables.
|
Modifier and Type | Method and Description |
---|---|
void |
Rule.ground(Constant[] constants,
Map<Variable,Integer> variableMap,
AtomManager atomManager,
List<GroundRule> results)
Get the formual that we can use for grounding.
|
Modifier and Type | Method and Description |
---|---|
void |
AbstractArithmeticRule.ground(Constant[] constants,
Map<Variable,Integer> variableMap,
AtomManager atomManager,
List<GroundRule> results) |
Modifier and Type | Field and Description |
---|---|
protected Set<Variable> |
ArithmeticRuleExpression.vars |
Modifier and Type | Method and Description |
---|---|
Variable |
SummationVariable.getVariable() |
Modifier and Type | Method and Description |
---|---|
Set<Variable> |
ArithmeticRuleExpression.getVariables()
Get the non-summation variables.
|
Modifier and Type | Method and Description |
---|---|
void |
AbstractLogicalRule.ground(Constant[] constants,
Map<Variable,Integer> variableMap,
AtomManager atomManager,
List<GroundRule> results) |
Modifier and Type | Method and Description |
---|---|
Set<Variable> |
VariableTypeMap.getVariables()
Returns all variables in the hashmap.
|
Modifier and Type | Method and Description |
---|---|
void |
VariableTypeMap.addVariable(Variable var,
ConstantType type) |
void |
VariableTypeMap.addVariable(Variable var,
ConstantType type,
boolean force)
Adds a variable-type pair to the hashmap.
|
ConstantType |
VariableTypeMap.getType(Variable var)
Returns the type of a given variable.
|
boolean |
VariableTypeMap.hasVariable(Variable var)
Returns whether the given variable exists in the hashmap.
|
Copyright © 2020 University of California, Santa Cruz. All rights reserved.