Uses of Interface
org.tweetyproject.arg.adf.reasoner.sat.verifier.Verifier

Packages that use Verifier

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

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

Methods in org.tweetyproject.arg.adf.reasoner.sat.execution that return types with arguments of type Verifier

Modifier and Type	Method	Description
Optional<Verifier>	Semantics.createVerifier(Supplier<SatSolverState> stateSupplier)	Creates a verifier, which acts as a filter.

Uses of Verifier in org.tweetyproject.arg.adf.reasoner.sat.verifier

Classes in org.tweetyproject.arg.adf.reasoner.sat.verifier that implement Verifier

Modifier and Type	Class	Description
final class	CompleteVerifier
final class	NaiveVerifier	Verifies if a given interpretation is conflict-free and maximal, i.e.
final class	PreferredVerifier
final class	StableVerifier	Verifies if a given interpretation is stable by comparing it with the ground interpretation of its omega reduct.