org.sat4j.pb.constraints
Class AllTests

java.lang.Object
  extended by org.sat4j.pb.constraints.AllTests

public class AllTests
extends java.lang.Object


Constructor Summary
AllTests()
           
 
Method Summary
static junit.framework.Test suite()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

AllTests

public AllTests()
Method Detail

suite

public static junit.framework.Test suite()


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