abstract class AbstractQuery extends Object implements Query
Constructor and Description |
---|
AbstractQuery() |
Modifier and Type | Method and Description |
---|---|
protected String |
echo(String arg) |
protected String |
enclose(String arg) |
String |
getResult()
Returns the stored result.
|
protected String |
getVal(String arg) |
void |
setResult(String result)
Stores the result from the z3 solver.
|