de.uka.ilkd.key.smt

Interface Query

All Known Implementing Classes:

AbstractQuery, ArrayFieldQuery, ConstantQuery, ExactInstanceQuery, FieldQuery, FunValueQuery, LocSetQuery, ObjectLengthQuery, ObjectTypeQuery, SeqFieldQuery, SeqLengthQuery

interface Query

Represents a query directed to towards the z3 solver.

Author:

mihai

Field Summary

Fields

Modifier and Type	Field and Description
static java.lang.String	SELECT_ID

Method Summary

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.

Field Detail

SELECT_ID

static final java.lang.String SELECT_ID

See Also:

Constant Field Values

Method Detail

setResult

void setResult(java.lang.String s)

Stores the result from the z3 solver.

Parameters:

s -

getQuery

java.lang.String getQuery()

Returns the command that is to be handed over to the z3 solver.

Returns:

getResult

java.lang.String getResult()

Returns the stored result.

Returns: