public interface ResultList
Modifier and Type | Method and Description |
---|---|
Constant[] |
get(int resultNo)
Returns a substitution for all
Variables . |
Constant |
get(int resultNo,
Variable var)
Returns a substitution for a single
Variable |
int |
getArity() |
Map<Variable,Integer> |
getVariableMap()
|
int |
size() |
int size()
int getArity()
Variables
replaced in
each substitutionConstant get(int resultNo, Variable var)
Variable
resultNo
- the index of the substitution (from 0 to size-1)var
- the Variable that is replacedIllegalArgumentException
- if resultNo is out of range or var is invalidConstant[] get(int resultNo)
Variables
.
GroundTerms are ordered according to the Variables' first appearances in a depth-first, left-to-right traversal of the Formula in the DatabaseQuery that generated this ResultList.
resultNo
- the index of the substitution (from 0 to size-1)IllegalArgumentException
- if resultNo is out of rangeCopyright © 2018 University of California, Santa Cruz. All rights reserved.