Uses of Interface
net.sf.tweety.arg.adf.reasoner.sat.verifier.Verifier

Packages that use Verifier

Package	Description
net.sf.tweety.arg.adf.reasoner.sat
net.sf.tweety.arg.adf.reasoner.sat.processor
net.sf.tweety.arg.adf.reasoner.sat.verifier

Uses of Verifier in net.sf.tweety.arg.adf.reasoner.sat

Methods in net.sf.tweety.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 net.sf.tweety.arg.adf.reasoner.sat.processor

Constructors in net.sf.tweety.arg.adf.reasoner.sat.processor with parameters of type Verifier

Constructor	Description
MaximizeInterpretationProcessor(Verifier verifier)

Uses of Verifier in net.sf.tweety.arg.adf.reasoner.sat.verifier

Classes in net.sf.tweety.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.