If backend has loaded (lazily) ok and verified its availability/functionality,
this must return true
.
If backend has loaded (lazily) ok and verified its availability/functionality,
this must return true
.
true
We take an implicit context binding, the classTag, of the trait of the solver desired.
We take an implicit context binding, the classTag, of the trait of the solver desired.
Due to Scala semantics, it is usually not enough to request a solver via merely
val s:SolverType = backend.getSolver
but instead requires an explicit solver tag, i.e.:
val s = backend.getSolver[SolverType]
Overview
Backend representing collection of in-memory solvers or distributed operators.
Note to implementors
Backend is expected to initialize & verify its own viability lazily either upon first time the class is loaded, or upon the first invocation of any of its methods. After that, the value of Backend.isAvailable must be cached and defined.
A Backend is also a SolverFactory of course in a sense that it enumerates solvers made available via the backend.