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)
SemanticsStep	SatQueryBuilder.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()