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

Class 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

Author:

Mathias Hofer

Constructor Summary

Constructors

Constructor	Description
ParallelExecution(AbstractDialecticalFramework adf, Semantics semantics, IncrementalSatSolver satSolver, int parallelism)

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

ParallelExecution

public ParallelExecution(AbstractDialecticalFramework adf,
 Semantics semantics,
 IncrementalSatSolver satSolver,
 int parallelism)

Parameters:

adf - adf

semantics - semantics

satSolver - satSolver

parallelism - parallelism

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

close

public void close()

Specified by:

close in interface AutoCloseable

Specified by:

close in interface Execution

addClause

public boolean addClause(Clause clause)

Specified by:

addClause in interface Execution

Parameters:

clause - clause

Returns:

addClause

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