de.stups.probkodkod.tools

Class MergeWriter

java.lang.Object

de.stups.probkodkod.tools.MergeWriter

public class MergeWriter
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
MergeWriter(java.io.Writer out)

Method Summary

Methods

Modifier and Type	Method and Description
java.io.Writer	createWriter(java.lang.String mark)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

MergeWriter

public MergeWriter(java.io.Writer out)

Method Detail

createWriter

public java.io.Writer createWriter(java.lang.String mark)