class SeqFieldQuery extends AbstractQuery
Modifier and Type | Field and Description |
---|---|
private int |
index |
private int |
intBound |
private Sequence |
seqID |
result
Constructor and Description |
---|
SeqFieldQuery(Sequence seq,
int index,
int bound) |
Modifier and Type | Method and Description |
---|---|
int |
getIndex() |
java.lang.String |
getQuery() |
Sequence |
getSeq() |
void |
setResult(java.lang.String s)
Stores the result from the z3 solver.
|
echo, enclose, getResult, getVal
private Sequence seqID
private int index
private int intBound
public SeqFieldQuery(Sequence seq, int index, int bound)
public Sequence getSeq()
public int getIndex()
public java.lang.String getQuery()
public void setResult(java.lang.String s)
Query
setResult
in interface Query
setResult
in class AbstractQuery
s
- the result to set