org.sat4j.pb.constraints

Class AllTests

java.lang.Object

org.sat4j.pb.constraints.AllTests

public class AllTests
extends Object

Constructor Summary

Constructors

Constructor and Description
AllTests()

Method Summary

Methods

Modifier and Type	Method and Description
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()