org.kahina.logic.sat.test

Class NecessaryClauseStatistics

java.lang.Object

org.kahina.logic.sat.test.NecessaryClauseStatistics

public class NecessaryClauseStatistics
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
static boolean	VERBOSE

Constructor Summary

Constructors

Constructor and Description
NecessaryClauseStatistics()

Method Summary

Methods

Modifier and Type	Method and Description
static java.util.List<java.lang.Integer>	getPrunedClauses(int candidate, CnfSatInstance instance, MiniSATFiles files)
static void	main(java.lang.String[] args)

Methods inherited from class java.lang.Object

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

Field Detail

VERBOSE

public static final boolean VERBOSE

See Also:

Constant Field Values

Constructor Detail

NecessaryClauseStatistics

public NecessaryClauseStatistics()

Method Detail

main

public static void main(java.lang.String[] args)

getPrunedClauses

public static java.util.List<java.lang.Integer> getPrunedClauses(int candidate,
                                                 CnfSatInstance instance,
                                                 MiniSATFiles files)