Class QDIMACSTest


  • public class QDIMACSTest
    extends java.lang.Object
    Test class for parsing QDIMACS files.
    Author:
    Anna Gessler
    • Field Summary

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

      Constructors 
      Constructor Description
      QDIMACSTest()  
    • Method Summary

      Modifier and Type Method Description
      void ComplexBeliefBaseTest()  
      void SimpleBeliefBaseTest()  
      • Methods inherited from class java.lang.Object

        equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Constructor Detail

      • QDIMACSTest

        public QDIMACSTest()
    • Method Detail

      • SimpleBeliefBaseTest

        public void SimpleBeliefBaseTest()
                                  throws java.io.FileNotFoundException,
                                         ParserException,
                                         java.io.IOException
        Throws:
        java.io.FileNotFoundException
        ParserException
        java.io.IOException
      • ComplexBeliefBaseTest

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