org.semanticweb.elk.reasoner.saturation

Interface BasicSaturationStateWriter

All Known Subinterfaces:

ExtendedSaturationStateWriter

public interface BasicSaturationStateWriter

Functions that can write the saturation state are grouped here.

Author:

Pavel Klinov pavel.klinov@uni-ulm.de

Method Summary

Methods

Modifier and Type	Method and Description
void	clearNotSaturatedContexts()
IndexedClassExpression	getOwlNothing()
IndexedClassExpression	getOwlThing()
boolean	markAsNotSaturated(Context context)
Context	pollForActiveContext()
void	produce(Context context, Conclusion conclusion)
void	resetContexts()

Method Detail

getOwlThing

IndexedClassExpression getOwlThing()

getOwlNothing

IndexedClassExpression getOwlNothing()

pollForActiveContext

Context pollForActiveContext()

produce

void produce(Context context,
           Conclusion conclusion)

markAsNotSaturated

boolean markAsNotSaturated(Context context)

clearNotSaturatedContexts

void clearNotSaturatedContexts()

resetContexts

void resetContexts()