org.sat4j.minisat

Class TestLubyFunction

java.lang.Object

org.sat4j.minisat.TestLubyFunction

public class TestLubyFunction
extends Object

Constructor Summary

Constructors

Constructor and Description
TestLubyFunction()

Method Summary

Methods

Modifier and Type	Method and Description
void	testSomeKnownValues()

Methods inherited from class java.lang.Object

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

Constructor Detail

TestLubyFunction

public TestLubyFunction()

Method Detail

testSomeKnownValues

public void testSomeKnownValues()