org.semanticweb.elk.reasoner.saturation

Class SaturationStateFactory

java.lang.Object

org.semanticweb.elk.reasoner.saturation.SaturationStateFactory

public class SaturationStateFactory
extends Object

A simple factory for creating saturation states

Author:

Pavel Klinov pavel.klinov@uni-ulm.de

Constructor Summary

Constructors

Constructor and Description
SaturationStateFactory()

Method Summary

Methods

Modifier and Type	Method and Description
static SaturationState	createSaturationState(OntologyIndex ontologyIndex) Creates a new instance of SaturationStateImpl

Methods inherited from class java.lang.Object

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

Constructor Detail

SaturationStateFactory

public SaturationStateFactory()

Method Detail

createSaturationState

public static SaturationState createSaturationState(OntologyIndex ontologyIndex)

Creates a new instance of SaturationStateImpl

Parameters:

ontologyIndex -

Returns:

the new state