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