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