net.sf.tweety.logics.ml.examples (Tweety (Modal Logic Library) 1.12 API)

Class Summary
Class	Description
MlExample	Some examples for testing ModalParser and NaiveModalReasoner
MlExample2	More examples for testing ModalParser and ModalReasoner

Package net.sf.tweety.logics.ml.examples