org.kahina.logic.sat.data.free

Class FreeSatInstance

java.lang.Object

org.kahina.core.data.KahinaObject

org.kahina.logic.sat.data.KahinaSatInstance

org.kahina.logic.sat.data.free.FreeSatInstance

All Implemented Interfaces:

java.io.Serializable

public class FreeSatInstance
extends KahinaSatInstance

See Also:

Serialized Form

Field Summary

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
FreeSatInstance()

Method Summary

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

getSymbolForLiteral, setSymbolMapping

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

Constructor Detail

FreeSatInstance

public FreeSatInstance()