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