interface Query
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
SELECT_ID |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
getQuery()
Returns the command that is to be handed over to the z3 solver.
|
java.lang.String |
getResult()
Returns the stored result.
|
void |
setResult(java.lang.String s)
Stores the result from the z3 solver.
|
static final java.lang.String SELECT_ID