private class QueryExpand.QueryEvalPos extends java.lang.Object implements java.lang.Comparable<QueryExpand.QueryEvalPos>
QueryExpand
)
in a formula.Modifier and Type | Field and Description |
---|---|
LogicVariable[] |
instVars |
java.util.Vector<java.lang.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. logical negation.
|
Term |
query
The query that is subject to query evaluation/expansion.
|
Constructor and Description |
---|
QueryEvalPos(Term query,
java.util.Vector<java.lang.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) |
java.lang.String |
toString() |
public final Term query
public final boolean positivePosition
public final java.util.Vector<java.lang.Integer> pathInTerm
public final LogicVariable[] instVars
public QueryEvalPos(Term query, java.util.Vector<java.lang.Integer> path, int level, ImmutableList<QuantifiableVariable> iVars, boolean isPositive)
public java.lang.String toString()
toString
in class java.lang.Object
public boolean subsumes(QueryExpand.QueryEvalPos other)
public int compareTo(QueryExpand.QueryEvalPos other)
compareTo
in interface java.lang.Comparable<QueryExpand.QueryEvalPos>