org.kahina.logic.sat.io.minisat

Class FreezeFile

java.lang.Object

org.kahina.logic.sat.io.minisat.FreezeFile

public class FreezeFile
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
static int	FREEZE
static int	UNFREEZE

Constructor Summary

Constructors

Constructor and Description
FreezeFile()

Method Summary

Methods

Modifier and Type	Method and Description
static void	createFreezeFile(int[] freezeVariables, java.io.File freezeFile, int offsetID)
static void	createFreezeFile(int[] freezeVariables, java.io.File freezeFile, int offsetID, java.util.List<java.lang.Integer> unitClauses) Creates a FreezeFile that also sets all variables in 'unitClauses' to their inverted values

Methods inherited from class java.lang.Object

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

Field Detail

UNFREEZE

public static final int UNFREEZE

See Also:

Constant Field Values

FREEZE

public static final int FREEZE

See Also:

Constant Field Values

Constructor Detail

FreezeFile

public FreezeFile()

Method Detail

createFreezeFile

public static void createFreezeFile(int[] freezeVariables,
                    java.io.File freezeFile,
                    int offsetID,
                    java.util.List<java.lang.Integer> unitClauses)

Creates a FreezeFile that also sets all variables in 'unitClauses' to their inverted values

createFreezeFile

public static void createFreezeFile(int[] freezeVariables,
                    java.io.File freezeFile,
                    int offsetID)