Class SatQueryBuilder

java.lang.Object
org.tweetyproject.arg.adf.reasoner.sat.query.SatQueryBuilder

public final class SatQueryBuilder extends Object
Author:
Mathias Hofer
  • Constructor Details

  • Method Details

    • defaultConfiguration

      public SemanticsStep defaultConfiguration()
      Returns:
      SemanticsStep defaultConfiguration()
    • configure

      public SemanticsStep configure(Configuration configuration)
      Parameters:
      configuration - configuration
      Returns:
      SemanticsStep configure