public final class TestBase
extends java.lang.Object
Constructor and Description |
---|
TestBase() |
Modifier and Type | Method and Description |
---|---|
TestBaseQueryResult |
executeQuery(TestBaseQuery query) |
static ru.ispras.fortress.solver.SolverId |
getSolverId() |
static void |
setSolverId(ru.ispras.fortress.solver.SolverId value) |
public static ru.ispras.fortress.solver.SolverId getSolverId()
public static void setSolverId(ru.ispras.fortress.solver.SolverId value)
public TestBaseQueryResult executeQuery(TestBaseQuery query)