Module dev.civl.sarl

Package dev.civl.sarl.reason.IF

Class Reason

java.lang.Object

dev.civl.sarl.reason.IF.Reason

public class Reason
extends Object

Provides a static method for producing a new ReasonerFactory.

Constructor Summary

Constructors

Constructor	Description
Reason()

Method Summary

Modifier and Type	Method	Description
static ReasonerFactory	newReasonerFactory(PreUniverse universe, IdealFactory idealFactory, TheoremProverFactory proverFactory)	Create a reasoner factory

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

Reason

public Reason()

Method Details

newReasonerFactory

public static ReasonerFactory newReasonerFactory(PreUniverse universe,
 IdealFactory idealFactory,
 TheoremProverFactory proverFactory)

Create a reasoner factory

Parameters:

universe - A reference to a PreUniverse

proverFactory - A reference to a TheoremProverFactory

simplifierFactory - A reference to a

invalid reference

SimplifierFactory

Returns: