Module dev.civl.sarl

Package dev.civl.sarl.reason.IF

package dev.civl.sarl.reason.IF

The internal interface for the "reason" module, which deals with Reasoners --- objects used to prove theorems and simplify symbolic expressions. It provides mechanisms for producing Reasoners.

Class	Description
Reason	Provides a static method for producing a new ReasonerFactory.
ReasonerFactory	A factory for producing instances of Reasoner.