Class ParallelExecution

java.lang.Object

org.tweetyproject.arg.adf.reasoner.sat.execution.ParallelExecution

All Implemented Interfaces:

AutoCloseable, Execution

public final class ParallelExecution
extends Object
implements Execution

ParallelExecution class

Author:

Mathias Hofer

Constructor Summary

Constructors

Constructor	Description
ParallelExecution(Semantics semantics, IncrementalSatSolver satSolver, int parallelism)

Method Summary

Modifier and Type	Method	Description
void	close()
Stream<Interpretation>	stream()	Must only be called once, it is up to the implementation what happens it is called more than once.

Methods inherited from class java.lang.Object

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

Constructor Details

ParallelExecution

public ParallelExecution(Semantics semantics,
 IncrementalSatSolver satSolver,
 int parallelism)

Parameters:

semantics - Semantics

satSolver - IncrementalSatSolver

parallelism - int

Method Details

stream

public Stream<Interpretation> stream()

Description copied from interface: Execution

Must only be called once, it is up to the implementation what happens it is called more than once.

Specified by:

stream in interface Execution

Returns:

Stream

close

public void close()

Specified by:

close in interface AutoCloseable

Specified by:

close in interface Execution