Class QbfTest


  • public class QbfTest
    extends java.lang.Object
    Test class for basic qbf functionalities.
    Author:
    Anna Gessler
    • Field Summary

      Fields 
      Modifier and Type Field Description
      static int DEFAULT_TIMEOUT  
    • Constructor Summary

      Constructors 
      Constructor Description
      QbfTest()  
    • Constructor Detail

      • QbfTest

        public QbfTest()
    • Method Detail

      • TypesTest

        public void TypesTest()
      • ParseQuantifiedFormulaTest

        public void ParseQuantifiedFormulaTest()
                                        throws ParserException,
                                               java.io.IOException
        Throws:
        ParserException
        java.io.IOException
      • ParseNestedQuantifiedFormulaTest

        public void ParseNestedQuantifiedFormulaTest()
                                              throws ParserException,
                                                     java.io.IOException
        Throws:
        ParserException
        java.io.IOException