org.kahina.logic.sat.freemuc

Class FreeMUCStep

java.lang.Object

org.kahina.core.data.KahinaObject

org.kahina.core.KahinaStep

org.kahina.logic.sat.freemuc.FreeMUCStep

All Implemented Interfaces:

java.io.Serializable

public class FreeMUCStep
extends KahinaStep

See Also:

Serialized Form

Field Summary

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

needsUpdate

Constructor Summary

Constructors

Constructor and Description
FreeMUCStep()

Method Summary

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

FreeMUCStep

public FreeMUCStep()