org.kahina.logic.sat.data

Class KahinaSatInstance

java.lang.Object

org.kahina.core.data.KahinaObject

org.kahina.logic.sat.data.KahinaSatInstance

All Implemented Interfaces:

java.io.Serializable

Direct Known Subclasses:

CnfSatInstance, FreeSatInstance

public class KahinaSatInstance
extends KahinaObject

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
protected java.util.HashMap<java.lang.Integer,java.lang.String>	symbolTable

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

needsUpdate

Constructor Summary

Constructors

Constructor and Description
KahinaSatInstance()

Method Summary

Methods

Modifier and Type	Method and Description
java.lang.String	getSymbolForLiteral(int literal)
void	setSymbolMapping(int id, java.lang.String symbol)

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

needsUpdate, requireUpdate

Methods inherited from class java.lang.Object

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

Field Detail

symbolTable

protected java.util.HashMap<java.lang.Integer,java.lang.String> symbolTable

Constructor Detail

KahinaSatInstance

public KahinaSatInstance()

Method Detail

setSymbolMapping

public void setSymbolMapping(int id,
                    java.lang.String symbol)

getSymbolForLiteral

public java.lang.String getSymbolForLiteral(int literal)