Uses of Class
org.tweetyproject.arg.adf.reasoner.sat.execution.Configuration

Packages that use Configuration

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

Uses of Configuration in org.tweetyproject.arg.adf.reasoner.query

Methods in org.tweetyproject.arg.adf.reasoner.query with parameters of type Configuration

Modifier and Type	Method	Description
Query<T>	Query.configure(Configuration configuration)

Uses of Configuration in org.tweetyproject.arg.adf.reasoner.sat.execution

Methods in org.tweetyproject.arg.adf.reasoner.sat.execution that return Configuration

Modifier and Type	Method	Description
Configuration	Configuration.Builder.build()

Uses of Configuration in org.tweetyproject.arg.adf.reasoner.sat.query

Methods in org.tweetyproject.arg.adf.reasoner.sat.query with parameters of type Configuration

Modifier and Type	Method	Description
SemanticsStep	SatQueryBuilder.configure(Configuration configuration)