Package net.sf.tweety.logics.pl.test
Class SimpleDpllSolverTest
- java.lang.Object
-
- net.sf.tweety.logics.pl.test.SimpleDpllSolverTest
-
public class SimpleDpllSolverTest extends java.lang.Object
-
-
Constructor Summary
Constructors Constructor Description SimpleDpllSolverTest()
-
Method Summary
Modifier and Type Method Description void
SolverTest()
-
-
-
Method Detail
-
SolverTest
public void SolverTest() throws java.io.FileNotFoundException, ParserException, java.io.IOException
- Throws:
java.io.FileNotFoundException
ParserException
java.io.IOException
-
-