modalLogic.formula.io.FormulaFormatter.java Source code

Introduction

Here is the source code for modalLogic.formula.io.FormulaFormatter.java

Source

/* Copyright (c) 2010, Johannes Kster <johannes.koester@tu-dortmund.de>
 * All rights reserved.
 *
 * This software is open-source under the BSD license; see "license.txt"
 * for a description.
 */

package modalLogic.formula.io;

import modalLogic.formula.Formula;
import org.apache.commons.collections15.Transformer;

/**
 * Provides an interface to tranform a Formula into a String.
 *
 * @author Johannes Kster <johannes.koester@tu-dortmund.de>
 */
public interface FormulaFormatter<P> extends Transformer<Formula<P>, String> {

}