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

Author:: Mathias Hofer

Constructor Summary

Constructors

Constructor

Description

SequentialExecution(AbstractDialecticalFramework adf, Semantics semantics, IncrementalSatSolver satSolver)
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)

Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details
- SequentialExecution
  
  public SequentialExecution(AbstractDialecticalFramework adf, Semantics semantics, IncrementalSatSolver satSolver)
  
  Parameters:
  
  adf - adf
  
  semantics - semantics
  
  satSolver - satSolver
Method Details
- computeCandidate
  
  public Interpretation computeCandidate()
  
  Specified by:
  
  computeCandidate in interface Execution
  
  Returns:
  
  computeCandidate
- verify
  
  public boolean verify(Interpretation candidate)
  
  Specified by:
  
  verify in interface Execution
  
  Parameters:
  
  candidate - candidate
  
  Returns:
  
  verify
- processModel
  
  public Interpretation processModel(Interpretation model)
  
  Specified by:
  
  processModel in interface Execution
  
  Parameters:
  
  model - model
  
  Returns:
  
  processModel
- addClause
  
  public boolean addClause(Clause clause)
  
  Specified by:
  
  addClause in interface Execution
  
  Parameters:
  
  clause - clause
  
  Returns:
  
  addClause
- close
  
  public void close()
  
  Specified by:
  
  close in interface AutoCloseable
  
  Specified by:
  
  close in interface Execution
- addClauses
  
  public boolean addClauses(Collection<? extends Clause> clauses)
  
  Specified by:
  
  addClauses in interface Execution
  
  Parameters:
  
  clauses - clauses
  
  Returns:
  
  true iff all of the clauses were successfully added