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