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

Class DefaultFactory

java.lang.Object

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

All Implemented Interfaces:

ICDCLFactory

public class DefaultFactory
extends java.lang.Object
implements ICDCLFactory

Constructor Summary

Constructors

Constructor and Description
DefaultFactory()

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

DefaultFactory

public DefaultFactory()

Method Detail

getCDCL

public CDCL getCDCL(ClauseSet set)

Specified by:

getCDCL in interface ICDCLFactory