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

Packages that use Verifier

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

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

Methods in org.tweetyproject.arg.adf.reasoner.sat with parameters of type Verifier

Modifier and Type	Method	Description
Pipeline.Builder	Pipeline.Builder.setVerifier(Verifier verifier)

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

Constructors in org.tweetyproject.arg.adf.reasoner.sat.processor with parameters of type Verifier

Constructor	Description
MaximizeInterpretationProcessor(Verifier verifier)

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
class	AdmissibleVerifier
class	CompleteVerifier
class	GrounderStableVerifier	Verifies if a given interpretation is stable by comparing it with the ground interpretation of its omega reduct.