/*****************************************************************************/
/*  AUTHORS:    Vijay Ganesh, David L. Dill             DATE: Nov 2005       */
/*****************************************************************************/
/* Copyright (C) 2005 by the Board of Trustees of Leland Stanford            */
/* Junior University.                                                        */
/*                                                                           */
/* License to use, copy, modify, sell and/or distribute this software        */
/* and its documentation for any purpose is hereby granted without           */
/* royalty, subject to the terms and conditions defined in the \ref          */
/* LICENSE file provided with this distribution.  In particular:             */
/*                                                                           */
/* - The above copyright notice and this permission notice must appear       */
/* in all copies of the software and related documentation.                  */
/*                                                                           */
/* - THE SOFTWARE IS PROVIDED "AS-IS", WITHOUT ANY WARRANTIES,               */
/* EXPRESSED OR IMPLIED.  USE IT AT YOUR OWN RISK.                           */
/*****************************************************************************/