Uses of Class
net.sf.tweety.logics.ml.reasoner.AbstractMlReasoner

Packages that use AbstractMlReasoner

Package	Description
net.sf.tweety.logics.ml.reasoner

Uses of AbstractMlReasoner in net.sf.tweety.logics.ml.reasoner

Subclasses of AbstractMlReasoner in net.sf.tweety.logics.ml.reasoner

Modifier and Type	Class	Description
class	MleanCoPReasoner	Invokes MleanCoP (http://www.leancop.de/mleancop/), a compact automated theorem prover for modal first-order logic based on the clausal connection calculus.
class	SimpleMlReasoner	This class implements inference for modal logic using a brute-force approach.
class	SPASSMlReasoner	Invokes SPASS (http://www.mpi-inf.mpg.de/departments/automation-of-logic/software/spass-workbench/), an automated theorem prover for first-order logic, modal logic and description logics.

Fields in net.sf.tweety.logics.ml.reasoner declared as AbstractMlReasoner

Modifier and Type	Field	Description
static AbstractMlReasoner	AbstractMlReasoner.defaultReasoner	Empty default prover

Methods in net.sf.tweety.logics.ml.reasoner that return AbstractMlReasoner

Modifier and Type	Method	Description
static AbstractMlReasoner	AbstractMlReasoner.getDefaultReasoner()	Returns the default reasoner for modal logic

Methods in net.sf.tweety.logics.ml.reasoner with parameters of type AbstractMlReasoner

Modifier and Type	Method	Description
static void	AbstractMlReasoner.setDefaultReasoner(AbstractMlReasoner reasoner)	Set default modal reasoner with given