Uses of Class
org.tweetyproject.logics.pl.sat.MaxSatSolver

Packages that use MaxSatSolver

Package	Description
org.tweetyproject.arg.dung.reasoner
org.tweetyproject.logics.pl.sat

Uses of MaxSatSolver in org.tweetyproject.arg.dung.reasoner

Constructors in org.tweetyproject.arg.dung.reasoner with parameters of type MaxSatSolver

Modifier	Constructor	Description
	MaxSatKAdmissibleAstReasoner(MaxSatSolver solver)	Creates a new reasoner using the given MaxSAT solver.
	MaxSatKAdmissibleReasoner(MaxSatSolver solver)	Creates a new reasoner using the given MaxSAT solver.
	MaxSatKStableAstReasoner(MaxSatSolver solver)	Creates a new reasoner using the given MaxSAT solver.
	MaxSatKStableReasoner(MaxSatSolver solver)	Creates a new reasoner using the given MaxSAT solver.
	SeemAcceptabilityReasoner(MaxSatSolver maxSatSolver, Semantics semantics, InferenceMode inferenceMode)	Creates a new SEEM acceptability reasoner.

Uses of MaxSatSolver in org.tweetyproject.logics.pl.sat

Subclasses of MaxSatSolver in org.tweetyproject.logics.pl.sat

Modifier and Type	Class	Description
class	DimacsMaxSatSolver	Generic class for Dimacs-based MaxSAT solvers.
class	OpenWboSolver	Provides an interface to the open-wbo MaxSAT solver, see https://github.com/sat-group/open-wbo.