Uses of Interface
org.tweetyproject.arg.adf.reasoner.query.SemanticsStep

Packages that use SemanticsStep

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

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

Methods in org.tweetyproject.arg.adf.reasoner.sat.query that return SemanticsStep

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

Uses of SemanticsStep in org.tweetyproject.arg.adf.syntax.adf

Methods in org.tweetyproject.arg.adf.syntax.adf that return SemanticsStep

Modifier and Type	Method	Description
default SemanticsStep	AbstractDialecticalFramework.query()	Initiates a query on this AbstractDialecticalFramework using the default configuration.