001/* 002 * To change this license header, choose License Headers in Project Properties. 003 * To change this template file, choose Tools | Templates 004 * and open the template in the editor. 005 */ 006package org.dllearner; 007 008/** 009 * 010 * @author Giuseppe Cota <giuseppe.cota@unife.it> 011 */ 012public class Constants { 013 014 public enum State { RUNNING, OK, TIMEOUT, FAILURE, ERROR } 015 016}