org.sat4j
Class BugSAT50

java.lang.Object
  extended by org.sat4j.BugSAT50

public class BugSAT50
extends Object


Constructor Summary
BugSAT50()
           
 
Method Summary
 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 ContradictionException,
                 TimeoutException
Throws:
ContradictionException
TimeoutException

test2

public void test2()
           throws ContradictionException,
                  TimeoutException
Throws:
ContradictionException
TimeoutException

test3

public void test3()
           throws ContradictionException,
                  TimeoutException
Throws:
ContradictionException
TimeoutException


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