Uses of Interface
de.uni_tuebingen.sfb.lichtenstein.binarytrees.MonaFormulaParser

Packages that use MonaFormulaParser

de.uni_tuebingen.sfb.lichtenstein.binarytrees

Uses of MonaFormulaParser in de.uni_tuebingen.sfb.lichtenstein.binarytrees

Classes in de.uni_tuebingen.sfb.lichtenstein.binarytrees that implement MonaFormulaParser

class

MonaFormulaBuilder A class which visits a Formula and converts it to a Mona formula.