org.kahina.logic.sat.muc.data

Class MUCStatistics

java.lang.Object

org.kahina.logic.sat.muc.data.MUCStatistics

public class MUCStatistics
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
int	highestID
int	initNumRelAsm
java.lang.String	instanceName
int	maxNumRemovedClauses
int	mucCandSize
int	mucSize
int	numClausesOrGroups
int	numSAT
int	numSATCalls
int	numUNSAT
int	numVarsExtended
long	runtime

Constructor Summary

Constructors

Constructor and Description
MUCStatistics()

Method Summary

Methods

Modifier and Type	Method and Description
void	printNicely(java.io.File statFile)
void	printOneLine(java.io.File statFile)
void	registerNumRemovedClauses(int num)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

instanceName

public java.lang.String instanceName

maxNumRemovedClauses

public int maxNumRemovedClauses

highestID

public int highestID

numVarsExtended

public int numVarsExtended

numClausesOrGroups

public int numClausesOrGroups

numSATCalls

public int numSATCalls

numSAT

public int numSAT

numUNSAT

public int numUNSAT

initNumRelAsm

public int initNumRelAsm

mucSize

public int mucSize

mucCandSize

public int mucCandSize

runtime

public long runtime

Constructor Detail

MUCStatistics

public MUCStatistics()

Method Detail

registerNumRemovedClauses

public void registerNumRemovedClauses(int num)

printNicely

public void printNicely(java.io.File statFile)

printOneLine

public void printOneLine(java.io.File statFile)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object