org.sat4j

Class BugSAT50

java.lang.Object

org.sat4j.BugSAT50

public class BugSAT50
extends Object

Constructor Summary

Constructors

Constructor and Description
BugSAT50()

Method Summary

Methods

Modifier and Type	Method and Description
void	test()
void	test2()
void	test3()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

BugSAT50

public BugSAT50()

Method Detail

test

public void test()
          throws org.sat4j.specs.ContradictionException,
                 org.sat4j.specs.TimeoutException

Throws:

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException

test2

public void test2()
           throws org.sat4j.specs.ContradictionException,
                  org.sat4j.specs.TimeoutException

Throws:

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException

test3

public void test3()
           throws org.sat4j.specs.ContradictionException,
                  org.sat4j.specs.TimeoutException

Throws:

org.sat4j.specs.ContradictionException

org.sat4j.specs.TimeoutException