org.sat4j.pb.constraints
Class AbstractPseudoBooleanAndPigeonHoleTest

java.lang.Object
  extended by junit.framework.Assert
      extended by junit.framework.TestCase
          extended by org.sat4j.minisat.AbstractAcceptanceTestCase<T>
              extended by org.sat4j.pb.constraints.AbstractPigeonHoleWithCardinalityTest<IPBSolver>
                  extended by org.sat4j.pb.constraints.AbstractEZPseudoBooleanAndPigeonHoleTest
                      extended by org.sat4j.pb.constraints.AbstractPseudoBooleanAndPigeonHoleTest
All Implemented Interfaces:
junit.framework.Test
Direct Known Subclasses:
CompetPBResMinHTMixedConstraintsObjectiveLearningTest, CounterPBConstrWithClauseAtLeastConstrLearningTest, MiniOPBClauseCardMinLearningTest, MiniOPBLongClauseCardMinLearningTest, PBCPLongMaxClauseCardConstrLearningTest, PBCPLongMinClauseCardConstrLearningTest, PBCPMaxClauseCardConstrLearningTest, PBCPMinClauseCardConstrLearningTest, PBCPMixedConstraintsCautiousTest, PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest, PuebloWatchedPBClauseCardConstrWithPBConstrLearningTest, PuebloWatchedPBConstrWithPBConstrLearningTest, WatchedPBConstrWithPBConstrLearningTest

public abstract class AbstractPseudoBooleanAndPigeonHoleTest
extends AbstractEZPseudoBooleanAndPigeonHoleTest

Author:
leberre Those pseudo boolean problems were kindly provided by Niklas Een.

Field Summary
protected static String PREFIX
           
 
Fields inherited from class org.sat4j.minisat.AbstractAcceptanceTestCase
reader, solver
 
Constructor Summary
AbstractPseudoBooleanAndPigeonHoleTest(String arg)
           
 
Method Summary
 void testaloul1011()
           
 void testaloul1015()
           
 void testaloul1020()
           
 void testaloul1516()
           
 void testaloul1520()
           
 void testaloul1525()
           
 void testaloul2021()
           
 void testaloul2025()
           
 void testaloul2030()
           
 void testaloul3031()
           
 void testaloul3035()
           
 void testaloul3040()
           
 void testaloul3536()
           
 void testaloul3540()
           
 void testaloul3545()
           
 void testaloul4041()
           
 void testaloul4045()
           
 void testaloul4050()
           
 void testaloul5051()
           
 void testaloul5055()
           
 void testaloul5060()
           
 void testncirc103()
           
 void testndata103()
           
 void testPN10()
           
 
Methods inherited from class org.sat4j.pb.constraints.AbstractEZPseudoBooleanAndPigeonHoleTest
createInstanceReader, tearDown, testn9symml, testnb1, testnC17, testnC432, testnc8, testncc, testncirc43, testncirc63, testncirc83, testncm42a, testncmb, testndata43, testndata63, testndata83, testnmux, testnmyadder
 
Methods inherited from class org.sat4j.pb.constraints.AbstractPigeonHoleWithCardinalityTest
testPN34, testPN4, testPN45, testPN5, testPN56, testPN6, testPN67, testPN7, testPN78, testPN8, testPN89, testPN9, testPN910
 
Methods inherited from class org.sat4j.minisat.AbstractAcceptanceTestCase
createSolver, setUp, solveInstance
 
Methods inherited from class junit.framework.TestCase
countTestCases, createResult, getName, run, run, runBare, runTest, setName, toString
 
Methods inherited from class junit.framework.Assert
assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertFalse, assertFalse, assertNotNull, assertNotNull, assertNotSame, assertNotSame, assertNull, assertNull, assertSame, assertSame, assertTrue, assertTrue, fail, fail, failNotEquals, failNotSame, failSame, format
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

PREFIX

protected static final String PREFIX
Constructor Detail

AbstractPseudoBooleanAndPigeonHoleTest

public AbstractPseudoBooleanAndPigeonHoleTest(String arg)
Method Detail

testaloul1011

public void testaloul1011()
                   throws FileNotFoundException,
                          IOException,
                          ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testaloul1015

public void testaloul1015()
                   throws FileNotFoundException,
                          IOException,
                          ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testaloul1020

public void testaloul1020()
                   throws FileNotFoundException,
                          IOException,
                          ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testaloul1516

public void testaloul1516()
                   throws FileNotFoundException,
                          IOException,
                          ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testaloul1520

public void testaloul1520()
                   throws FileNotFoundException,
                          IOException,
                          ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testaloul1525

public void testaloul1525()
                   throws FileNotFoundException,
                          IOException,
                          ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testaloul2021

public void testaloul2021()
                   throws FileNotFoundException,
                          IOException,
                          ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testaloul2025

public void testaloul2025()
                   throws FileNotFoundException,
                          IOException,
                          ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testaloul2030

public void testaloul2030()
                   throws FileNotFoundException,
                          IOException,
                          ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testaloul3031

public void testaloul3031()
                   throws FileNotFoundException,
                          IOException,
                          ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testaloul3035

public void testaloul3035()
                   throws FileNotFoundException,
                          IOException,
                          ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testaloul3040

public void testaloul3040()
                   throws FileNotFoundException,
                          IOException,
                          ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testaloul3536

public void testaloul3536()
                   throws FileNotFoundException,
                          IOException,
                          ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testaloul3540

public void testaloul3540()
                   throws FileNotFoundException,
                          IOException,
                          ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testaloul3545

public void testaloul3545()
                   throws FileNotFoundException,
                          IOException,
                          ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testaloul4041

public void testaloul4041()
                   throws FileNotFoundException,
                          IOException,
                          ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testaloul4045

public void testaloul4045()
                   throws FileNotFoundException,
                          IOException,
                          ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testaloul4050

public void testaloul4050()
                   throws FileNotFoundException,
                          IOException,
                          ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testaloul5051

public void testaloul5051()
                   throws FileNotFoundException,
                          IOException,
                          ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testaloul5055

public void testaloul5055()
                   throws FileNotFoundException,
                          IOException,
                          ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testaloul5060

public void testaloul5060()
                   throws FileNotFoundException,
                          IOException,
                          ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testncirc103

public void testncirc103()
                  throws FileNotFoundException,
                         IOException,
                         ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testndata103

public void testndata103()
                  throws FileNotFoundException,
                         IOException,
                         ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException

testPN10

public void testPN10()
              throws FileNotFoundException,
                     IOException,
                     ParseFormatException
Throws:
FileNotFoundException
IOException
ParseFormatException


Copyright © 2012 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.