org.sat4j.minisat
Class AllTests

java.lang.Object
  org.sat4j.minisat.AllTests

public class AllTests
extends Object

Author:

leberre To change the template for this generated type comment go to Window - Preferences - Java - Code Generation - Code and Comments

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()