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

Class SatQueryBuilder

java.lang.Object

org.tweetyproject.arg.adf.reasoner.sat.query.SatQueryBuilder

public final class SatQueryBuilder
extends Object

SatQueryBuilder class

Author:

Mathias Hofer

Constructor Summary

Constructors

Constructor	Description
SatQueryBuilder(AbstractDialecticalFramework adf)	Constructor with AbstractDialecticalFramework

Method Summary

Modifier and Type	Method	Description
SemanticsStep	configure(Configuration configuration)	Return SemanticsStep configure
SemanticsStep	defaultConfiguration()	Return SemanticsStep defaultConfiguration()

Methods inherited from class java.lang.Object

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

Constructor Details

SatQueryBuilder

public SatQueryBuilder(AbstractDialecticalFramework adf)

Constructor with AbstractDialecticalFramework

Parameters:

adf - adf

Method Details

defaultConfiguration

public SemanticsStep defaultConfiguration()

Return SemanticsStep defaultConfiguration()

Returns:

SemanticsStep defaultConfiguration()

configure

public SemanticsStep configure(Configuration configuration)

Return SemanticsStep configure

Parameters:

configuration - configuration

Returns:

SemanticsStep configure