org.kahina.logic.sat.muc

Class MUCStepType

java.lang.Object

org.kahina.logic.sat.muc.MUCStepType

public class MUCStepType
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
static int	COMPLETE
static int	MINIMAL
static int	REDUCIBLE
static int	UNKNOWN

Constructor Summary

Constructors

Constructor and Description
MUCStepType()

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

UNKNOWN

public static final int UNKNOWN

See Also:

Constant Field Values

COMPLETE

public static final int COMPLETE

See Also:

Constant Field Values

MINIMAL

public static final int MINIMAL

See Also:

Constant Field Values

REDUCIBLE

public static final int REDUCIBLE

See Also:

Constant Field Values

Constructor Detail

MUCStepType

public MUCStepType()