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

Packages that use AbstractModalReasoner

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

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

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

Modifier and Type	Class and 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	NaiveModalReasoner This class implements inference for modal logic using a brute-force approach.
class	SPASSModalReasoner 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 AbstractModalReasoner

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

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

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

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

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