org.kahina.logic.sat.io.minisat

Class MiniSATFiles

java.lang.Object

org.kahina.logic.sat.io.minisat.MiniSATFiles

public class MiniSATFiles
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
java.io.File	sourceFile
java.io.File	targetFile
static java.lang.String	tempDirectory
java.io.File	tmpFile
java.io.File	tmpFreezeFile
java.io.File	tmpProofFile
java.io.File	tmpResultFile

Constructor Summary

Constructors

Constructor and Description
MiniSATFiles()

Method Summary

Methods

Modifier and Type	Method and Description
MiniSATFiles	copyWithoutTmpFiles()
void	createExtendedFile(java.lang.String targetFileName)
void	createTargetFile(java.lang.String targetFileName)
void	createTempFiles(java.lang.String targetFileName)
void	deleteTempFiles()

Methods inherited from class java.lang.Object

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

Field Detail

tempDirectory

public static final java.lang.String tempDirectory

See Also:

Constant Field Values

sourceFile

public java.io.File sourceFile

targetFile

public java.io.File targetFile

tmpFile

public java.io.File tmpFile

tmpResultFile

public java.io.File tmpResultFile

tmpProofFile

public java.io.File tmpProofFile

tmpFreezeFile

public java.io.File tmpFreezeFile

Constructor Detail

MiniSATFiles

public MiniSATFiles()

Method Detail

createTargetFile

public void createTargetFile(java.lang.String targetFileName)

createExtendedFile

public void createExtendedFile(java.lang.String targetFileName)

createTempFiles

public void createTempFiles(java.lang.String targetFileName)

deleteTempFiles

public void deleteTempFiles()

copyWithoutTmpFiles

public MiniSATFiles copyWithoutTmpFiles()