SequentialExecution

java.lang.Object

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

All Implemented Interfaces:: AutoCloseable, Execution

public final class SequentialExecution extends Object implements Execution

SequentialExecution class

Author:: Mathias Hofer

Constructor Summary

Constructors

Constructor

Description

SequentialExecution(Semantics semantics, IncrementalSatSolver satSolver)
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
- SequentialExecution
  
  public SequentialExecution(Semantics semantics, IncrementalSatSolver satSolver)
  
  Parameters:
  
  semantics - semantics
  
  satSolver - satSolver
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