Package org.tweetyproject.logics.ml

package org.tweetyproject.logics.ml

Related Packages

Package	Description
org.tweetyproject.logics.ml.examples
org.tweetyproject.logics.ml.parser
org.tweetyproject.logics.ml.reasoner
org.tweetyproject.logics.ml.semantics
org.tweetyproject.logics.ml.syntax
org.tweetyproject.logics.ml.writer

Classes

Class	Description
MleanCoPTest	JUnit Test class for the MleanCoP reasoner.
MlParserTest	JUnit Test class for ModalParser.
MlReasonerTest	JUnit Test class for NaiveModalReasoner.
SPASSTest	JUnit Test class for SPASS Prover for modal formulas.