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

boolean

addClause(Clause clause)

boolean

addClauses(Collection<? extends Clause> clauses)

void

close()

Interpretation

computeCandidate()

Interpretation

processModel(Interpretation model)

boolean

verify(Interpretation candidate)

Method Details
- computeCandidate
  
  Interpretation computeCandidate()
  
  Returns:
  
  computeCandidate
- verify
  
  boolean verify(Interpretation candidate)
  
  Parameters:
  
  candidate - candidate
  
  Returns:
  
  verify
- processModel
  
  Interpretation processModel(Interpretation model)
  
  Parameters:
  
  model - model
  
  Returns:
  
  processModel
- addClause
  
  boolean addClause(Clause clause)
  
  Parameters:
  
  clause - clause
  
  Returns:
  
  addClause
- addClauses
  
  boolean addClauses(Collection<? extends Clause> clauses)
  
  Parameters:
  
  clauses - clauses
  
  Returns:
  
  true iff all of the clauses were successfully added
- close
  
  void close()
  
  Specified by:
  
  close in interface AutoCloseable