org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.factorys

Class LearnMoreFactory

java.lang.Object

org.kahina.logic.sat.insertionmus.iterativ.simpleSAT.factorys.LearnMoreFactory

All Implemented Interfaces:

ICDCLFactory

public class LearnMoreFactory
extends java.lang.Object
implements ICDCLFactory

Constructor Summary

Constructors

Constructor and Description
LearnMoreFactory()

Method Summary

Methods

Modifier and Type	Method and Description
CDCL	getCDCL(ClauseSet set)

Methods inherited from class java.lang.Object

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

Constructor Detail

LearnMoreFactory

public LearnMoreFactory()

Method Detail

getCDCL

public CDCL getCDCL(ClauseSet set)

Specified by:

getCDCL in interface ICDCLFactory