org.kahina.logic.sat.freemuc.control

Class FreeMUCControlEventCommands

java.lang.Object

org.kahina.logic.sat.freemuc.control.FreeMUCControlEventCommands

public class FreeMUCControlEventCommands
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
static java.lang.String	CHECK_SAT
static java.lang.String	LOAD_FILE

Constructor Summary

Constructors

Constructor and Description
FreeMUCControlEventCommands()

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

CHECK_SAT

public static final java.lang.String CHECK_SAT

See Also:

Constant Field Values

Constructor Detail

FreeMUCControlEventCommands

public FreeMUCControlEventCommands()