public interface ResultList extends QueryResultIterable
Modifier and Type | Method and Description |
---|---|
Constant[] |
get(int index)
Returns a substitution for all
Variables . |
Constant |
get(int index,
Variable var)
Returns a substitution for a single
Variable |
int |
getArity() |
int |
size() |
close, getVariableMap
forEach, iterator, spliterator
int size()
int getArity()
Variables
replaced in
each substitutionConstant get(int index, Variable var)
Variable
index
- the index of the substitution (from 0 to size-1)var
- the Variable that is replacedIllegalArgumentException
- if index is out of range or var is invalidConstant[] get(int index)
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.
index
- the index of the substitution (from 0 to size-1)IllegalArgumentException
- if index is out of rangeCopyright © 2020 University of California, Santa Cruz. All rights reserved.