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