org.sat4j.core

Class JsonReaderTest

java.lang.Object

org.sat4j.core.JsonReaderTest

public class JsonReaderTest
extends Object

Constructor Summary

Constructors

Constructor and Description
JsonReaderTest()

Method Summary

Methods

Modifier and Type	Method and Description
void	setUp()
void	testInputStream()
void	testJsonOutput()
void	testMixOfClausesAndCard()
void	testOrderofMixedConstraints()
void	testReadingACardAtLeastEqual()
void	testReadingACardAtLeastStrictly()
void	testReadingACardAtMostEqual()
void	testReadingACardAtMostStrictly()
void	testReadingACardExactly()
void	testReadingNullClause()
void	testReadingSimpleClause()
void	testReadingTwoClauses()

Methods inherited from class java.lang.Object

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

Constructor Detail

JsonReaderTest

public JsonReaderTest()

Method Detail

setUp

public void setUp()
           throws Exception

Throws:

Exception

testReadingSimpleClause

public void testReadingSimpleClause()
                             throws org.sat4j.reader.ParseFormatException,
                                    org.sat4j.specs.ContradictionException,
                                    IOException

Throws:

org.sat4j.reader.ParseFormatException

org.sat4j.specs.ContradictionException

IOException

testReadingNullClause

public void testReadingNullClause()
                           throws org.sat4j.reader.ParseFormatException,
                                  org.sat4j.specs.ContradictionException,
                                  IOException

Throws:

org.sat4j.reader.ParseFormatException

org.sat4j.specs.ContradictionException

IOException

testReadingTwoClauses

public void testReadingTwoClauses()
                           throws org.sat4j.reader.ParseFormatException,
                                  org.sat4j.specs.ContradictionException,
                                  IOException

Throws:

org.sat4j.reader.ParseFormatException

org.sat4j.specs.ContradictionException

IOException

testReadingACardExactly

public void testReadingACardExactly()
                             throws org.sat4j.reader.ParseFormatException,
                                    org.sat4j.specs.ContradictionException

Throws:

org.sat4j.reader.ParseFormatException

org.sat4j.specs.ContradictionException

testReadingACardAtMostEqual

public void testReadingACardAtMostEqual()
                                 throws org.sat4j.reader.ParseFormatException,
                                        org.sat4j.specs.ContradictionException

Throws:

org.sat4j.reader.ParseFormatException

org.sat4j.specs.ContradictionException

testReadingACardAtMostStrictly

public void testReadingACardAtMostStrictly()
                                    throws org.sat4j.reader.ParseFormatException,
                                           org.sat4j.specs.ContradictionException

Throws:

org.sat4j.reader.ParseFormatException

org.sat4j.specs.ContradictionException

testReadingACardAtLeastEqual

public void testReadingACardAtLeastEqual()
                                  throws org.sat4j.reader.ParseFormatException,
                                         org.sat4j.specs.ContradictionException

Throws:

org.sat4j.reader.ParseFormatException

org.sat4j.specs.ContradictionException

testReadingACardAtLeastStrictly

public void testReadingACardAtLeastStrictly()
                                     throws org.sat4j.reader.ParseFormatException,
                                            org.sat4j.specs.ContradictionException

Throws:

org.sat4j.reader.ParseFormatException

org.sat4j.specs.ContradictionException

testMixOfClausesAndCard

public void testMixOfClausesAndCard()
                             throws org.sat4j.reader.ParseFormatException,
                                    org.sat4j.specs.ContradictionException

Throws:

org.sat4j.reader.ParseFormatException

org.sat4j.specs.ContradictionException

testOrderofMixedConstraints

public void testOrderofMixedConstraints()
                                 throws org.sat4j.reader.ParseFormatException,
                                        org.sat4j.specs.ContradictionException

Throws:

org.sat4j.reader.ParseFormatException

org.sat4j.specs.ContradictionException

testInputStream

public void testInputStream()
                     throws org.sat4j.reader.ParseFormatException,
                            org.sat4j.specs.ContradictionException,
                            IOException

Throws:

org.sat4j.reader.ParseFormatException

org.sat4j.specs.ContradictionException

IOException

testJsonOutput

public void testJsonOutput()
                    throws org.sat4j.reader.ParseFormatException,
                           org.sat4j.specs.ContradictionException,
                           org.sat4j.specs.TimeoutException

Throws:

org.sat4j.reader.ParseFormatException

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException