Package | Description |
---|---|
org.linqs.psl.database | |
org.linqs.psl.database.rdbms | |
org.linqs.psl.model.formula | |
org.linqs.psl.model.rule.arithmetic.expression | |
org.linqs.psl.model.term | |
org.linqs.psl.parser |
Modifier and Type | Method and Description |
---|---|
Map<Variable,Integer> |
ResultList.getVariableMap()
Returns a Map from
Variables to the indices of
substitutions that are returned by ResultList.get(int) . |
Modifier and Type | Method and Description |
---|---|
Constant |
ResultList.get(int resultNo,
Variable var)
Returns a substitution for a single
Variable |
Modifier and Type | Method and Description |
---|---|
void |
DatabasePopulator.populate(QueryAtom qAtom,
Map<Variable,Set<Constant>> substitutions)
|
Modifier and Type | Method and Description |
---|---|
Map<Variable,Integer> |
Formula2SQL.getProjectionMap() |
Map<Variable,Integer> |
RDBMSResultList.getVariableMap() |
Modifier and Type | Method and Description |
---|---|
Constant |
RDBMSResultList.get(int resultNo,
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().
|
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.
|
Modifier and Type | Method and Description |
---|---|
Set<Variable> |
FormulaAnalysis.DNFClause.getUnboundVariables()
Returns any unbound variables.
|
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 |
---|---|
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.
|
Modifier and Type | Method and Description |
---|---|
Variable |
ModelLoader.visitVariable(PSLParser.VariableContext ctx) |
Copyright © 2018 University of California, Santa Cruz. All rights reserved.