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

SaturationStateFactory()

Method Summary

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