org.kahina.logic.sat.insertionmus.algorithms

Class AlgorithmData

java.lang.Object

org.kahina.logic.sat.insertionmus.algorithms.AlgorithmData

public class AlgorithmData
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
java.util.Map<java.lang.Integer,int[]>	allocations
int[]	freezeAll
java.io.File	freezeFile
int[]	freezeM
CnfSatInstance	instance
java.io.File	instanceFile
java.util.concurrent.ConcurrentSkipListSet<java.lang.Integer>	instanceIDs
boolean	isMus
java.util.concurrent.ConcurrentSkipListSet<java.lang.Integer>	M
java.lang.String	path
java.io.File	resultFile
java.util.concurrent.ConcurrentSkipListSet<java.lang.Integer>	S

Constructor Summary

Constructors

Constructor and Description
AlgorithmData()
AlgorithmData(CnfSatInstance satInstance)

Method Summary

Methods

Modifier and Type	Method and Description
AlgorithmData	clone()
boolean	equals(java.lang.Object o)
java.util.concurrent.ConcurrentSkipListSet<java.lang.Integer>	getS()
boolean	isMUS()
void	resetS()
void	setHeuristic(ISortingHeuristic heuristic)

Methods inherited from class java.lang.Object

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

Field Detail

instance

public CnfSatInstance instance

instanceIDs

public java.util.concurrent.ConcurrentSkipListSet<java.lang.Integer> instanceIDs

M

public java.util.concurrent.ConcurrentSkipListSet<java.lang.Integer> M

S

public java.util.concurrent.ConcurrentSkipListSet<java.lang.Integer> S

freezeAll

public int[] freezeAll

freezeM

public int[] freezeM

instanceFile

public java.io.File instanceFile

resultFile

public java.io.File resultFile

freezeFile

public java.io.File freezeFile

path

public java.lang.String path

isMus

public boolean isMus

allocations

public java.util.Map<java.lang.Integer,int[]> allocations

Constructor Detail

AlgorithmData

public AlgorithmData()

AlgorithmData

public AlgorithmData(CnfSatInstance satInstance)

Method Detail

getS

public java.util.concurrent.ConcurrentSkipListSet<java.lang.Integer> getS()

setHeuristic

public void setHeuristic(ISortingHeuristic heuristic)

isMUS

public boolean isMUS()

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

clone

public AlgorithmData clone()

Overrides:

clone in class java.lang.Object

resetS

public void resetS()