test
Class MCSATTest

java.lang.Object
  extended by test.MCSATTest

public class MCSATTest
extends java.lang.Object

The JUnit test for MCSAT.


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

Constructor Detail

MCSATTest

public MCSATTest()
Method Detail

test_updateClauseVoiTallies

public final void test_updateClauseVoiTallies()