MleanCoPWriter (Tweety (Modal Logic Library) 1.16 API)

java.lang.Object
- net.sf.tweety.logics.ml.writer.MleanCoPWriter

```
public class MleanCoPWriter
extends Object
```
Prints 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): '*'

Author:

Anna Gessler, Nils Geilen

- Constructor Summary
  
  Constructors
  Constructor Description
  
  MleanCoPWriter()
  Creates a new MleanCoPWriter.
  
  MleanCoPWriter(Writer writer)
  Creates a new MleanCoPWriter.
- Method Summary
  
  Modifier and Type Method Description
  
  void close()
  Closes the Writer.
  
  void printQuery(net.sf.tweety.logics.commons.syntax.RelationalFormula f)
  Prints the query.
  - Methods inherited from class java.lang.Object
    clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - MleanCoPWriter
```
public MleanCoPWriter(Writer writer)
```
    Creates a new MleanCoPWriter.
    
    Parameters:
    
    writer - Output is redirected to this writer.
  - MleanCoPWriter
```
public MleanCoPWriter()
```
    Creates a new MleanCoPWriter.
- Method Detail
  - printQuery
```
public void printQuery(net.sf.tweety.logics.commons.syntax.RelationalFormula f)
                throws IOException
```
    Prints the query.
    
    Parameters:
    
    f - the query, a first-order logic or modal formula
    
    Throws:
    
    IOException - if an IO issue occurs.
  - close
```
public void close()
           throws IOException
```
    Closes the Writer.
    
    Throws:
    
    IOException - if an IO issue occurs.