public class MleanCoPWriter
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
(package private) java.io.Writer |
writer
Output is redirected to this writer.
|
Constructor and Description |
---|
MleanCoPWriter()
Creates a new MleanCoPWriter.
|
MleanCoPWriter(java.io.Writer writer)
Creates a new MleanCoPWriter.
|
Modifier and Type | Method and Description |
---|---|
void |
close()
Closes the Writer.
|
private java.lang.String |
parens(java.lang.String str)
Puts a string in parentheses.
|
private java.lang.String |
printFormula(RelationalFormula f)
Creates a representation of a formula in MleanCoP format.
|
void |
printQuery(RelationalFormula f)
Prints the query.
|
public MleanCoPWriter(java.io.Writer writer)
writer
- Output is redirected to this writer.public MleanCoPWriter()
public void printQuery(RelationalFormula f) throws java.io.IOException
f
- the query, a first-order logic or modal formulajava.io.IOException
private java.lang.String printFormula(RelationalFormula f)
f
- a formulaprivate java.lang.String parens(java.lang.String str)
str
- a stringpublic void close() throws java.io.IOException
java.io.IOException