Javadoc
Create a new
InputProcessor that concurrently processes
ClassConclusions within
Contexts of the
SaturationState by applying inference rules. The input
ClassConclusions can be created using
RuleApplicationInputs
submitted using this
InputProcessor, or they may be taken from
the
Contexts of the
SaturationState using
Context#takeToDo(). Since the
SaturationState is shared
by all workers, the computation is finished (i.e., all submitted jobs are
processed) only when all concurrent workers finish the processing.