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	The CompleteVerifier is a verifier class that checks whether a given interpretation is a complete interpretation within an abstract dialectical framework (ADF).
final class	NaiveVerifier	Verifies if a given interpretation is conflict-free and maximal, i.e.
final class	PreferredVerifier	The PreferredVerifier is a verifier class that checks whether a given interpretation is a preferred interpretation within an abstract dialectical framework (ADF).
final class	StableVerifier	Verifies if a given interpretation is stable by comparing it with the ground interpretation of its omega reduct.