/*=============================================================================*\
 * File: gfsmStateSet.hi
 * Author: Bryan Jurish <moocow@ling.uni-potsdam.de>
 * Description: finite state machine library: state sets: inlined definitions
 *
 * Copyright (c) 2004-2007 Bryan Jurish.
 *
 * 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., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
 *=============================================================================*/

/*======================================================================
 * Methods: Constructors etc.
 */

//--------------------------------------------------------------
// sized_new()
GFSM_INLINE
gfsmStateSet *gfsm_stateset_sized_new(guint isize) 
{
  return g_array_sized_new(FALSE,TRUE,sizeof(gfsmStateId),isize);
}

//--------------------------------------------------------------
// new()
GFSM_INLINE
gfsmStateSet *gfsm_stateset_new(void)
{
  return gfsm_stateset_sized_new(gfsmStateSetDefaultSize);
}

//--------------------------------------------------------------
// new_singleton()
GFSM_INLINE
gfsmStateSet *gfsm_stateset_new_singleton(gfsmStateId id)
{
  gfsmStateSet *sset = gfsm_stateset_new();
  g_array_insert_val(sset,0,id);
  return sset;
}

//--------------------------------------------------------------
// clear()
GFSM_INLINE
void gfsm_stateset_clear(gfsmStateSet *sset)
{
  g_array_set_size(sset,0);
}

//--------------------------------------------------------------
// clone()
GFSM_INLINE
gfsmStateSet *gfsm_stateset_clone(gfsmStateSet *src)
{
  return g_array_append_vals(gfsm_stateset_sized_new(src->len), src->data, src->len);
}

//--------------------------------------------------------------
// free()
GFSM_INLINE
void gfsm_stateset_free(gfsmStateSet *sset)
{
  g_array_free(sset,TRUE);
}

/*======================================================================
 * Methods: Accessors
 */

//--------------------------------------------------------------
// min()
GFSM_INLINE
gfsmStateId gfsm_stateset_min(gfsmStateSet *sset)
{
  return sset->len > 0 ? (*((gfsmStateId*)sset->data)) : gfsmNoState;
}

//--------------------------------------------------------------
// size()
GFSM_INLINE
guint gfsm_stateset_size(gfsmStateSet *sset)
{
  return sset->len;
}

//--------------------------------------------------------------
// find()
//--EXTERN

//--------------------------------------------------------------
// contains()
GFSM_INLINE
gboolean gfsm_stateset_contains(gfsmStateSet *sset, gfsmStateId id)
{
  gfsmStateSetIter sseti = gfsm_stateset_find(sset,id);
  return sseti != NULL && *sseti != gfsmNoState;
}

//--------------------------------------------------------------
// insert()
//--EXTERN

//--------------------------------------------------------------
// union()
//--EXTERN

//--------------------------------------------------------------
// remove()
//--EXTERN

//--------------------------------------------------------------
// equal()
//--EXTERN

/*======================================================================
 * Methods: Utilities
 */

//--------------------------------------------------------------
// hash()
//--EXTERN


//--------------------------------------------------------------
// foreach()
//--EXTERN

/*======================================================================
 * Methods: Automaton access
 */

//--------------------------------------------------------------
// populate()
//--EXTERN

//--------------------------------------------------------------
// has_final_state()
//--EXTERN

//--------------------------------------------------------------
// lookup_final_weight()
//--EXTERN