IProverManager

All Known Implementing Classes:

ProverManager
```
public interface IProverManager
```

- Method Summary
  
  All Methods Instance Methods Abstract Methods
  Modifier and Type Method Description
  
  Map<ProverInformation,IProverFactory> getProvers()

Method Detail

getProvers

Map<ProverInformation,IProverFactory> getProvers()