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)	Return a copy of this query but with the new configuration applied

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()	Builds and returns a new Configuration instance based on the current settings.

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)	Return SemanticsStep configure