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

Interface ICDCLFactory

All Known Implementing Classes:

DefaultFactory, LearnMoreFactory

public interface ICDCLFactory

Method Summary

Methods

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

Method Detail

getCDCL

CDCL getCDCL(ClauseSet set)