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)
  
  Parameters:
  
  adf - adf
Method Details
- defaultConfiguration
  
  public SemanticsStep defaultConfiguration()
  
  Returns:
  
  SemanticsStep defaultConfiguration()
- configure
  
  public SemanticsStep configure(Configuration configuration)
  
  Parameters:
  
  configuration - configuration
  
  Returns:
  
  SemanticsStep configure