View Javadoc

1   /*******************************************************************************
2    * SAT4J: a SATisfiability library for Java Copyright (C) 2004, 2012 Artois University and CNRS
3    *
4    * All rights reserved. This program and the accompanying materials
5    * are made available under the terms of the Eclipse Public License v1.0
6    * which accompanies this distribution, and is available at
7    *  http://www.eclipse.org/legal/epl-v10.html
8    *
9    * Alternatively, the contents of this file may be used under the terms of
10   * either the GNU Lesser General Public License Version 2.1 or later (the
11   * "LGPL"), in which case the provisions of the LGPL are applicable instead
12   * of those above. If you wish to allow use of your version of this file only
13   * under the terms of the LGPL, and not to allow others to use your version of
14   * this file under the terms of the EPL, indicate your decision by deleting
15   * the provisions above and replace them with the notice and other provisions
16   * required by the LGPL. If you do not delete the provisions above, a recipient
17   * may use your version of this file under the terms of the EPL or the LGPL.
18   *
19   * Based on the original MiniSat specification from:
20   *
21   * An extensible SAT solver. Niklas Een and Niklas Sorensson. Proceedings of the
22   * Sixth International Conference on Theory and Applications of Satisfiability
23   * Testing, LNCS 2919, pp 502-518, 2003.
24   *
25   * See www.minisat.se for the original solver in C++.
26   *
27   * Contributors:
28   *   CRIL - initial API and implementation
29   *******************************************************************************/
30  
31  package org.sat4j.pb.constraints;
32  
33  import java.io.FileNotFoundException;
34  import java.io.IOException;
35  
36  import org.sat4j.reader.ParseFormatException;
37  import org.sat4j.specs.ISolver;
38  
39  /**
40   * @author leberre
41   * 
42   *         To change the template for this generated type comment go to
43   *         Window>Preferences>Java>Code Generation>Code and Comments
44   */
45  public abstract class AbstractRandomCardProblemsTest<T extends ISolver> extends
46          AbstractPigeonHoleWithCardinalityTest<T> {
47  
48      /**
49       * 
50       */
51      public AbstractRandomCardProblemsTest(String name) {
52          super(name);
53      }
54  
55      public void testRndDeg1() throws FileNotFoundException, IOException,
56              ParseFormatException {
57          assertFalse(solveInstance(PREFIX + "random-opb/rnddeg1.opb"));
58      }
59  
60      public void testRndDeg2() throws FileNotFoundException, IOException,
61              ParseFormatException {
62          assertFalse(solveInstance(PREFIX + "random-opb/rnddeg2.opb"));
63      }
64  
65      public void testRndDeg3() throws FileNotFoundException, IOException,
66              ParseFormatException {
67          assertFalse(solveInstance(PREFIX + "random-opb/rnddeg3.opb"));
68      }
69  
70      public void testRndDeg4() throws FileNotFoundException, IOException,
71              ParseFormatException {
72          assertFalse(solveInstance(PREFIX + "random-opb/rnddeg4.opb"));
73      }
74  
75      public void testRndDeg5() throws FileNotFoundException, IOException,
76              ParseFormatException {
77          assertFalse(solveInstance(PREFIX + "random-opb/rnddeg5.opb"));
78      }
79  
80      public void testRndDeg6() throws FileNotFoundException, IOException,
81              ParseFormatException {
82          assertFalse(solveInstance(PREFIX + "random-opb/rnddeg6.opb"));
83      }
84  
85      public void testRndDeg7() throws FileNotFoundException, IOException,
86              ParseFormatException {
87          assertFalse(solveInstance(PREFIX + "random-opb/rnddeg7.opb"));
88      }
89  
90      public void testRndDeg8() throws FileNotFoundException, IOException,
91              ParseFormatException {
92          assertFalse(solveInstance(PREFIX + "random-opb/rnddeg8.opb"));
93      }
94  
95      public void testRndDeg9() throws FileNotFoundException, IOException,
96              ParseFormatException {
97          assertFalse(solveInstance(PREFIX + "random-opb/rnddeg9.opb"));
98      }
99  
100     public void testRndDeg10() throws FileNotFoundException, IOException,
101             ParseFormatException {
102         assertFalse(solveInstance(PREFIX + "random-opb/rnddeg10.opb"));
103     }
104 
105     public void testRndDeg11() throws FileNotFoundException, IOException,
106             ParseFormatException {
107         assertFalse(solveInstance(PREFIX + "random-opb/rnddeg11.opb"));
108     }
109 
110     public void testRndDeg12() throws FileNotFoundException, IOException,
111             ParseFormatException {
112         assertFalse(solveInstance(PREFIX + "random-opb/rnddeg12.opb"));
113     }
114 
115     public void testRndDeg13() throws FileNotFoundException, IOException,
116             ParseFormatException {
117         assertFalse(solveInstance(PREFIX + "random-opb/rnddeg13.opb"));
118     }
119 
120     public void testRndDeg14() throws FileNotFoundException, IOException,
121             ParseFormatException {
122         assertFalse(solveInstance(PREFIX + "random-opb/rnddeg14.opb"));
123     }
124 
125     public void testRndDeg15() throws FileNotFoundException, IOException,
126             ParseFormatException {
127         assertFalse(solveInstance(PREFIX + "random-opb/rnddeg15.opb"));
128     }
129 
130     public void testRndDeg16() throws FileNotFoundException, IOException,
131             ParseFormatException {
132         assertFalse(solveInstance(PREFIX + "random-opb/rnddeg16.opb"));
133     }
134 
135     public void testRndDeg17() throws FileNotFoundException, IOException,
136             ParseFormatException {
137         assertFalse(solveInstance(PREFIX + "random-opb/rnddeg17.opb"));
138     }
139 
140     public void testRndDeg18() throws FileNotFoundException, IOException,
141             ParseFormatException {
142         assertFalse(solveInstance(PREFIX + "random-opb/rnddeg18.opb"));
143     }
144 
145 }