org.sat4j.minisat.core
Class CircularBufferTest

java.lang.Object
  extended by org.sat4j.minisat.core.CircularBufferTest

public class CircularBufferTest
extends Object


Constructor Summary
CircularBufferTest()
           
 
Method Summary
 void setUp()
           
 void test()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

CircularBufferTest

public CircularBufferTest()
Method Detail

setUp

public void setUp()
           throws Exception
Throws:
Exception

test

public void test()


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