formula

Type Members

1. abstract class Expression extends AnyRef

   

2. abstract class Formula extends AnyRef

   

3. case class FormulaHasNoPropositionsException(message: String) extends Exception with Product with Serializable

   

4. class FormulaParserCombinators extends AlphabetParserCombinators with RltlParserCombinators with LtlParserCombinators with OmegaRegexParserCombinators

   

5. case class Options(alphabet: Set[String], propositions: Option[Set[String]]) extends Product with Serializable