Package org.variantsync.diffdetective.feature

Interface PropositionalFormulaParser

Functional Interface:
This is a functional interface and can therefore be used as the assignment target for a lambda expression or method reference.
@FunctionalInterface public interface PropositionalFormulaParser
A parser that parses propositional formula's from text to Nodes.
Author:
Paul Bittner

  • Field Summary

    Fields
    Modifier and Type
    Field
    Description
    static final PropositionalFormulaParser
    Default
    Default parser that uses the NodeReader from FeatureIDE and uses its java symbols to match operators.

  • Method Summary

    Modifier and Type
    Method
    Description
    org.prop4j.Node
    parse(String text)
     

  • Field Details

    • Default

      static final PropositionalFormulaParser Default
      Default parser that uses the NodeReader from FeatureIDE and uses its java symbols to match operators.

  • Method Details

    • parse

      org.prop4j.Node parse(String text)