Package org.tweetyproject.arg.adf.reasoner

Class AbstractDialecticalFrameworkReasoner

java.lang.Object

org.tweetyproject.arg.adf.reasoner.AbstractDialecticalFrameworkReasoner

Direct Known Subclasses:

AdmissibleReasoner, CompleteReasoner, ConflictFreeReasoner, GroundReasoner, ModelReasoner, NaiveReasoner, PreferredReasoner, StableReasoner

@Deprecated(forRemoval=true,
            since="1.19")
public abstract class AbstractDialecticalFrameworkReasoner
extends Object

Deprecated, for removal: This API element is subject to removal in a future version.

use AbstractDialecticalFramework.query() instead

Ancestor class for all adf reasoner

Constructor Summary

Constructors

Constructor	Description
AbstractDialecticalFrameworkReasoner(IncrementalSatSolver solver)	Deprecated, for removal: This API element is subject to removal in a future version.

Method Summary

Modifier and Type	Method	Description
boolean	credulousQuery(AbstractDialecticalFramework adf, Argument argument)	Deprecated, for removal: This API element is subject to removal in a future version.
Interpretation	getModel(AbstractDialecticalFramework adf)	Deprecated, for removal: This API element is subject to removal in a future version.
Collection<Interpretation>	getModels(AbstractDialecticalFramework adf)	Deprecated, for removal: This API element is subject to removal in a future version.
Iterator<Interpretation>	modelIterator(AbstractDialecticalFramework adf)	Deprecated, for removal: This API element is subject to removal in a future version.
boolean	skepticalQuery(AbstractDialecticalFramework adf, Argument argument)	Deprecated, for removal: This API element is subject to removal in a future version.

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

AbstractDialecticalFrameworkReasoner

public AbstractDialecticalFrameworkReasoner(IncrementalSatSolver solver)

Deprecated, for removal: This API element is subject to removal in a future version.

Parameters:

solver - solver

Method Details

skepticalQuery

public boolean skepticalQuery(AbstractDialecticalFramework adf,
 Argument argument)

Deprecated, for removal: This API element is subject to removal in a future version.

Parameters:

adf - adf

argument - argument

Returns:

skepticalQuery

credulousQuery

public boolean credulousQuery(AbstractDialecticalFramework adf,
 Argument argument)

Deprecated, for removal: This API element is subject to removal in a future version.

Parameters:

adf - adf

argument - argument

Returns:

credulousQuery

getModels

public Collection<Interpretation> getModels(AbstractDialecticalFramework adf)

Deprecated, for removal: This API element is subject to removal in a future version.

Parameters:

adf - adf

Returns:

getModels

getModel

public Interpretation getModel(AbstractDialecticalFramework adf)

Deprecated, for removal: This API element is subject to removal in a future version.

Parameters:

adf - adf

Returns:

getModel

modelIterator

public Iterator<Interpretation> modelIterator(AbstractDialecticalFramework adf)

Deprecated, for removal: This API element is subject to removal in a future version.

Parameters:

adf - adf

Returns:

modelIterator