ProverManager

java.lang.Object
- org.prolog4j.manager.impl.ProverManager

All Implemented Interfaces:

IProverManager
```
public final class ProverManager
extends Object
implements IProverManager
```
The ProverFactory is a utility class producing Provers for various Prolog APIs, most notably for tuProlog, jTrolog and JLog.
ProverFactory is essentially a wrapper around an IProverFactory instance bound with ProverFactory at compile time.
Please note that all methods in ProverFactory are static.

Constructor Summary

Constructors
Constructor Description

ProverManager()

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`void`	`bindProverFactory(IProverFactory factory, Map<String,String> serviceProperties)`
`Map<ProverInformation,IProverFactory>`	`getProvers()`
`void`	`unbindProverFactory(IProverFactory factory)`
`void`	`updatedProverFactory(IProverFactory factory, Map<String,String> serviceProperties)`

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail
- ProverManager
```
public ProverManager()
```

Method Detail

bindProverFactory

public void bindProverFactory(IProverFactory factory,
                              Map<String,String> serviceProperties)

unbindProverFactory

public void unbindProverFactory(IProverFactory factory)

updatedProverFactory

public void updatedProverFactory(IProverFactory factory,
                                 Map<String,String> serviceProperties)

getProvers

public Map<ProverInformation,IProverFactory> getProvers()

Specified by:: getProvers in interface IProverManager