Package org.tweetyproject.logics.ml.writer
package org.tweetyproject.logics.ml.writer
-
ClassesClassDescriptionPrints single FOL and modal formulas to the MleanCoP format:
Negation: '~'
Conjunction: ','
Disjunction: ';'
Implication: '=>'
Equivalence: '<=>'
Universal quantifier: 'all X:'
Existential quantifier: 'ex X:'
Modal box operator (Necessity): '#'
Modal diamond operator (Possibility): '*'The `MlWriter` class is responsible for writing formulas and belief sets to a specific format.This class prints single first-order modal logic formulas and knowledge bases to the SPASS format.