Uses of Class
org.tweetyproject.logics.ml.reasoner.AbstractMlReasoner

Packages that use AbstractMlReasoner

Package	Description
org.tweetyproject.logics.ml.reasoner

Uses of AbstractMlReasoner in org.tweetyproject.logics.ml.reasoner

Subclasses of AbstractMlReasoner in org.tweetyproject.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 org.tweetyproject.logics.ml.reasoner declared as AbstractMlReasoner

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

Methods in org.tweetyproject.logics.ml.reasoner that return AbstractMlReasoner

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

Methods in org.tweetyproject.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