org.kahina.logic.sat.muc.control

Class MUCControlEventCommands

java.lang.Object

org.kahina.logic.sat.muc.control.MUCControlEventCommands

public class MUCControlEventCommands
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
static java.lang.String	EXPORT_DIMACS
static java.lang.String	EXPORT_SYMBOLIC_DIMACS
static java.lang.String	EXPORT_VAR_OCCURRENCES
static java.lang.String	LOAD_FILE
static java.lang.String	LOAD_PATH

Constructor Summary

Constructors

Constructor and Description
MUCControlEventCommands()

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

LOAD_FILE

public static final java.lang.String LOAD_FILE

See Also:

Constant Field Values

LOAD_PATH

public static final java.lang.String LOAD_PATH

See Also:

Constant Field Values

EXPORT_DIMACS

public static final java.lang.String EXPORT_DIMACS

See Also:

Constant Field Values

EXPORT_SYMBOLIC_DIMACS

public static final java.lang.String EXPORT_SYMBOLIC_DIMACS

See Also:

Constant Field Values

EXPORT_VAR_OCCURRENCES

public static final java.lang.String EXPORT_VAR_OCCURRENCES

See Also:

Constant Field Values

Constructor Detail

MUCControlEventCommands

public MUCControlEventCommands()