TuPrologProverFactory

java.lang.Object
- org.prolog4j.tuprolog.TuPrologProverFactory

All Implemented Interfaces:

IProverFactory
```
public final class TuPrologProverFactory
extends Object
implements IProverFactory
```
An implementation of IProverFactory which always returns TuPrologProver instances.

Constructor Summary

Constructors
Constructor Description

TuPrologProverFactory()

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`ConversionPolicy`	`createConversionPolicy()`	Creates a new conversion policy.
`Prover`	`createProver()`	Creates a new prover.

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

- Constructor Detail
  - TuPrologProverFactory
```
public TuPrologProverFactory()
```
- Method Detail
  - createProver
```
public Prover createProver()
```
    Description copied from interface: IProverFactory
    
    Creates a new prover.
    
    Specified by:
    
    createProver in interface IProverFactory
    
    Returns:
    
    a new prover
  - createConversionPolicy
```
public ConversionPolicy createConversionPolicy()
```
    Description copied from interface: IProverFactory
    
    Creates a new conversion policy.
    
    Specified by:
    
    createConversionPolicy in interface IProverFactory
    
    Returns:
    
    the created conversion policy