org.kahina.logic.sat.data.cnf

Class GroupCnfSatInstance

java.lang.Object

org.kahina.core.data.KahinaObject

org.kahina.logic.sat.data.KahinaSatInstance

org.kahina.logic.sat.data.cnf.CnfSatInstance

org.kahina.logic.sat.data.cnf.GroupCnfSatInstance

All Implemented Interfaces:

java.io.Serializable

public class GroupCnfSatInstance
extends CnfSatInstance

See Also:

Serialized Form

Field Summary

Fields inherited from class org.kahina.logic.sat.data.cnf.CnfSatInstance

clauseIDs, clauseStore, maxVarID, needsRebuild, occurrenceMap, reverseConversionTable

Fields inherited from class org.kahina.logic.sat.data.KahinaSatInstance

symbolTable

Fields inherited from class org.kahina.core.data.KahinaObject

needsUpdate

Constructor Summary

Constructors

Constructor and Description
GroupCnfSatInstance()

Method Summary

Methods

Modifier and Type	Method and Description
void	computeGroupOccurrenceMap()
void	discardGroupOccurrenceMap()
KahinaGraph	generateClaGroupByCompLitGraph()
KahinaGraph	generateClaGroupByLitGraph()
KahinaGraph	generateClaGroupByVarGraph()
KahinaGraph	generateLitByClaGroupGraph()
KahinaGraph	generateVarByClaGroupGraph()
java.util.List<java.lang.Integer>	getClauseGroup(int groupID)
int	getGroupForClause(int clauseID)
int	getNumGroups()
static GroupCnfSatInstance	parseDimacsGroupCnfFile(java.lang.String fileName)

Methods inherited from class org.kahina.logic.sat.data.cnf.CnfSatInstance

addClause, announceAddedClauses, announceChangedClauses, applyAssignmentDestructively, applyDontCareFilter, computeOccurrenceMap, copy, deleteVariablesDestructively, deriveUnitsByPropagation, discardOccurrenceMap, extractMaxAutarkyDestructively, generateClauseToIndexMap, getClause, getClauseByID, getCountOccourrence, getHighestVar, getNumVariables, getSize, getSubsumedClauseIndices, idxToId, isDontCareClause, needsRebuild, needsUpdate, printAllClauses, reduceToLeanKernel, removeClauseID, removeClauseIndex, selectClauses, setSubsumptionCheck

Methods inherited from class org.kahina.logic.sat.data.KahinaSatInstance

getSymbolForLiteral, setSymbolMapping

Methods inherited from class org.kahina.core.data.KahinaObject

requireUpdate

Methods inherited from class java.lang.Object

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

Constructor Detail

GroupCnfSatInstance

public GroupCnfSatInstance()

Method Detail

computeGroupOccurrenceMap

public void computeGroupOccurrenceMap()

discardGroupOccurrenceMap

public void discardGroupOccurrenceMap()

getNumGroups

public int getNumGroups()

getClauseGroup

public java.util.List<java.lang.Integer> getClauseGroup(int groupID)

getGroupForClause

public int getGroupForClause(int clauseID)

generateClaGroupByVarGraph

public KahinaGraph generateClaGroupByVarGraph()

generateClaGroupByLitGraph

public KahinaGraph generateClaGroupByLitGraph()

generateClaGroupByCompLitGraph

public KahinaGraph generateClaGroupByCompLitGraph()

generateVarByClaGroupGraph

public KahinaGraph generateVarByClaGroupGraph()

generateLitByClaGroupGraph

public KahinaGraph generateLitByClaGroupGraph()

parseDimacsGroupCnfFile

public static GroupCnfSatInstance parseDimacsGroupCnfFile(java.lang.String fileName)