Class SimpleDpllSolverTest

java.lang.Object

org.tweetyproject.logics.pl.test.SimpleDpllSolverTest

public class SimpleDpllSolverTest
extends Object

Constructor Summary

Constructors

Constructor	Description
SimpleDpllSolverTest()

Method Summary

Modifier and Type	Method	Description
void	SolverTest()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

SimpleDpllSolverTest

public SimpleDpllSolverTest()

Method Details

SolverTest

public void SolverTest()
                throws FileNotFoundException,
ParserException,
IOException

Throws:

FileNotFoundException

ParserException

IOException