private class QueryExpand.QueryEvalPos extends Object implements Comparable<QueryExpand.QueryEvalPos>
QueryExpand
)
in a formula.Modifier and Type | Field and Description |
---|---|
LogicVariable[] |
instVars |
Vector<Integer> |
pathInTerm
Path in the syntax tree of the term where the query evaluation/expansion should be inserted.
|
boolean |
positivePosition
Positive or negative position wrt.
|
Term |
query
The query that is subject to query evaluation/expansion.
|
Constructor and Description |
---|
QueryExpand.QueryEvalPos(Term query,
Vector<Integer> path,
int level,
ImmutableList<QuantifiableVariable> iVars,
boolean isPositive) |
Modifier and Type | Method and Description |
---|---|
int |
compareTo(QueryExpand.QueryEvalPos other)
For sorting.
|
Term |
getTermOnPath(Term root) |
boolean |
subsumes(QueryExpand.QueryEvalPos other) |
String |
toString() |
public final Term query
public final boolean positivePosition
public final Vector<Integer> pathInTerm
public final LogicVariable[] instVars
public QueryExpand.QueryEvalPos(Term query, Vector<Integer> path, int level, ImmutableList<QuantifiableVariable> iVars, boolean isPositive)
public boolean subsumes(QueryExpand.QueryEvalPos other)
public int compareTo(QueryExpand.QueryEvalPos other)
compareTo
in interface Comparable<QueryExpand.QueryEvalPos>