public ExternalSolver ( [ backingSolver, [ selectionsManager, [ fetcher, [ executor, [ config, [ feedManager, [ handler ) : System |
backingSolver |
[ |
An internal solver used to find an implementation of the external solver. |
selectionsManager |
[ |
Used to check whether the external solver is already in the cache. |
fetcher |
[ |
Used to download implementations of the external solver. |
executor |
[ |
Used to launch the external solver. |
config |
[ |
User settings controlling network behaviour, solving, etc. |
feedManager |
[ |
Provides access to remote and local s. Handles downloading, signature verification and caching. |
handler |
[ |
A callback object used when the the user needs to be asked questions or informed about download and IO tasks. |
Résultat |
System |
|