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

Field Summary

Fields

Modifier and Type	Field and Description
private java.lang.String[]	files
private boolean[]	sat

Constructor Summary

Constructors

Constructor and Description
SimpleDpllSolverTest()

Method Summary

Modifier and Type	Method and Description
void	SolverTest()

Methods inherited from class java.lang.Object

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

Field Detail

files

private java.lang.String[] files

sat

private boolean[] sat

Constructor Detail

SimpleDpllSolverTest

public SimpleDpllSolverTest()

Method Detail

SolverTest

public void SolverTest()
                throws java.io.FileNotFoundException,
                       ParserException,
                       java.io.IOException

Throws:

java.io.FileNotFoundException

ParserException

java.io.IOException