org.kahina.logic.sat.muc.io

Class MUCExtension

java.lang.Object

org.kahina.logic.sat.muc.io.MUCExtension

public class MUCExtension
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
MUCExtension()

Method Summary

Methods

Modifier and Type	Method and Description
static void	extendCNFBySelVars(java.io.File orig, java.io.File extended, MUCStatistics stat)
static void	extendGroupCNFBySelVars(java.io.File orig, java.io.File extended, MUCStatistics stat)
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

Constructor Detail

MUCExtension

public MUCExtension()

Method Detail

extendCNFBySelVars

public static void extendCNFBySelVars(java.io.File orig,
                      java.io.File extended,
                      MUCStatistics stat)

extendGroupCNFBySelVars

public static void extendGroupCNFBySelVars(java.io.File orig,
                           java.io.File extended,
                           MUCStatistics stat)

main

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