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

Interface Execution

All Superinterfaces:
AutoCloseable
All Known Implementing Classes:
ParallelExecution, SequentialExecution
public interface Execution extends AutoCloseable
Encapsulates the state of a query execution.
Author:
Mathias Hofer

  • 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.

  • Method Details

    • stream

      Stream<Interpretation> stream()
      Must only be called once, it is up to the implementation what happens it is called more than once.
      Returns:
      Stream

    • close

      void close()
      Specified by:
      close in interface AutoCloseable