net.sf.cpsolver.ifs
Class Constants

java.lang.Object
  extended by net.sf.cpsolver.ifs.Constants
Direct Known Subclasses:
Constants

public class Constants
extends Object

IFS common constants.

Build number and release date are to be set by apache ant.

Version:
IFS 1.1 (Iterative Forward Search)
Copyright (C) 2006 Tomáš Müller
muller@unitime.org
Lazenska 391, 76314 Zlin, Czech Republic

This library is free software; you can redistribute it and/or modify it under the terms of the GNU Lesser General Public License as published by the Free Software Foundation; either version 2.1 of the License, or (at your option) any later version.

This library is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more details.

You should have received a copy of the GNU Lesser General Public License along with this library; if not, write to the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA

Field Summary
protected static int BLD_NUMBER
           
protected static String REL_DATE
           
protected static String VERSION
           
 
Constructor Summary
Constants()
           
 
Method Summary
static int getBuildNumber()
          Build number
static String getReleaseDate()
          Release date
static String getVersion()
          Version
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

VERSION

protected static final String VERSION
See Also:
Constant Field Values

BLD_NUMBER

protected static final int BLD_NUMBER
See Also:
Constant Field Values

REL_DATE

protected static final String REL_DATE
See Also:
Constant Field Values
Constructor Detail

Constants

public Constants()
Method Detail

getVersion

public static String getVersion()
Version


getBuildNumber

public static int getBuildNumber()
Build number


getReleaseDate

public static String getReleaseDate()
Release date