org.sat4j.pb

Class JsonPBReaderTest

java.lang.Object

org.sat4j.pb.JsonPBReaderTest

public class JsonPBReaderTest
extends Object

Constructor Summary

Constructors

Constructor and Description
JsonPBReaderTest()

Method Summary

Methods

Modifier and Type	Method and Description
void	setUp()
void	testObjectiveFunctionMax()
void	testObjectiveFunctionMin()
void	testOrderofMixedConstraints()
void	testReadingSimplePseudoAtLeast()
void	testReadingSimplePseudoAtLeastStrictly()
void	testReadingSimplePseudoAtMost()
void	testReadingSimplePseudoAtMostStrictly()
void	testReadingSimplePseudoExactly()

Methods inherited from class java.lang.Object

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

Constructor Detail

JsonPBReaderTest

public JsonPBReaderTest()

Method Detail

setUp

public void setUp()
           throws Exception

Throws:

Exception

testReadingSimplePseudoAtLeast

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

Throws:

org.sat4j.reader.ParseFormatException

org.sat4j.specs.ContradictionException

IOException

testReadingSimplePseudoAtMost

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

Throws:

org.sat4j.reader.ParseFormatException

org.sat4j.specs.ContradictionException

IOException

testReadingSimplePseudoExactly

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

Throws:

org.sat4j.reader.ParseFormatException

org.sat4j.specs.ContradictionException

IOException

testReadingSimplePseudoAtLeastStrictly

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

Throws:

org.sat4j.reader.ParseFormatException

org.sat4j.specs.ContradictionException

IOException

testReadingSimplePseudoAtMostStrictly

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

Throws:

org.sat4j.reader.ParseFormatException

org.sat4j.specs.ContradictionException

IOException

testOrderofMixedConstraints

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

Throws:

org.sat4j.reader.ParseFormatException

org.sat4j.specs.ContradictionException

testObjectiveFunctionMin

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

Throws:

org.sat4j.reader.ParseFormatException

org.sat4j.specs.ContradictionException

testObjectiveFunctionMax

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

Throws:

org.sat4j.reader.ParseFormatException

org.sat4j.specs.ContradictionException