org.sat4j
Class BugSAT18

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

public class BugSAT18
extends Object


Constructor Summary
BugSAT18()
           
 
Method Summary
 void setup()
           
 void testAll()
           
 void testSingle1()
           
 void testSingle2()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

BugSAT18

public BugSAT18()
Method Detail

setup

public void setup()
           throws ContradictionException
Throws:
ContradictionException

testAll

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

testSingle1

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

testSingle2

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


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