de.uni_tuebingen.sfb.lichtenstein.binarytrees
Interface MonaFormulaParser

All Known Implementing Classes:

MonaFormulaBuilder

public interface MonaFormulaParser

A class to parse a formula given by the user into a Mona formula.

Author:

Hendrik Maryns

Method Summary

String

parse() Parse the formula.

Method Detail

parse

String parse()

Parse the formula.

Returns:

A string representing the formula. TODO: which return type? Make it void and with parameter?