org.symcomp.scscp
Class ComputationState

java.lang.Object
  org.symcomp.scscp.ComputationState

public class ComputationState
extends java.lang.Object

just a bunch of constants

Field Summary

static java.lang.Integer	COMPUTING
static java.lang.Integer	ERRONEOUS
static java.lang.Integer	READY
static java.lang.Integer	WAITING

Constructor Summary

ComputationState()

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

WAITING

public static java.lang.Integer WAITING

COMPUTING

public static java.lang.Integer COMPUTING

READY

public static java.lang.Integer READY

ERRONEOUS

public static java.lang.Integer ERRONEOUS

Constructor Detail

ComputationState

public ComputationState()