gfsmxlLabelIndex.h

Go to the documentation of this file.

/*=============================================================================*\
 * File: gfsmxlLabelIndex.h
 * Author: Bryan Jurish <moocow.bovine@gmail.com>
 * Description: finite state machine library: label index
 *
 * Copyright (c) 2007-2011 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
 *=============================================================================*/

#ifndef _GFSMXL_LABEL_INDEX_H
#define _GFSMXL_LABEL_INDEX_H

#include <gfsm.h>

/*======================================================================
 * gfsmxlArcPtrArray
 */


typedef GPtrArray gfsmxlArcPtrArray;

gfsmxlArcPtrArray *gfsmxl_arc_ptr_array_new_lower(gfsmIndexedAutomaton *xfsm);

GFSM_INLINE
void gfsmxl_arc_ptr_array_free(gfsmxlArcPtrArray *apa);


/*======================================================================
 * gfsmxlArcBlockIndex
 */


typedef struct {
  gfsmxlArcPtrArray *blocks;    
  GPtrArray        *q2block;    
} gfsmxlArcBlockIndex;

gfsmxlArcBlockIndex *gfsmxl_arc_block_index_new_lower(gfsmIndexedAutomaton *xfsm);

GFSM_INLINE
void gfsmxl_arc_block_index_free(gfsmxlArcBlockIndex *abx);

GFSM_INLINE
void gfsmxl_arcrange_open_block_index(gfsmArcRange *range, gfsmxlArcBlockIndex *abx, gfsmStateId qid, gfsmLabelId lo);

GFSM_INLINE
void gfsmxl_arcrange_open_block_index_bsearch(gfsmArcRange *range, gfsmxlArcBlockIndex *abx, gfsmStateId qid, gfsmLabelId lo);


/*======================================================================
 * gfsmxlArcBlockHash
 */


typedef struct {
  gfsmStateId  qid;  
  gfsmLabelId  lab;  
} gfsmxlStateLabelPair;

typedef GHashTable gfsmxlArcBlockHash;

guint gfsmxl_state_label_pair_hash(const gfsmxlStateLabelPair *slp);

gboolean gfsmxl_state_label_pair_equal(const gfsmxlStateLabelPair *slp1, const gfsmxlStateLabelPair *slp2);

GFSM_INLINE
gfsmxlStateLabelPair *gfsmxl_state_label_pair_new(gfsmStateId qid, gfsmLabelId lab);

GFSM_INLINE
void gfsmxl_state_label_pair_free(gfsmxlStateLabelPair *slp);

gfsmxlArcBlockHash *gfsmxl_arc_block_hash_new_lower(gfsmIndexedAutomaton *xfsm);

GFSM_INLINE
void gfsmxl_arc_block_hash_free(gfsmxlArcBlockHash *abh);


//-- inline definitions
#ifdef GFSM_INLINE_ENABLED
# include <gfsmxlLabelIndex.hi>
#endif

#endif /* _GFSMXL_LABEL_INDEX_H */