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

Author:

Mathias Hofer

Constructor Summary

Constructors

Constructor	Description
SatQueryBuilder(AbstractDialecticalFramework adf)

Method Summary

Modifier and Type	Method	Description
SemanticsStep	configure(Configuration configuration)
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)

Method Details

defaultConfiguration

public SemanticsStep defaultConfiguration()

configure

public SemanticsStep configure(Configuration configuration)