alambic.h

Go to the documentation of this file.

/*
 * alambic.h -- A tool to translate ARMOISE formula into GENEPI calls
 * 
 * This file is a part of the Alambic Library. 
 * 
 * Copyright (C) 2010 CNRS UMR 5800 & Université Bordeaux I (see AUTHORS file).
 * 
 * This program is free software; you can redistribute it and/or modify
 * it under the terms of the GNU General Public License as published by
 * the Free Software Foundation; either version 2 of the License, or
 * (at your option) any later version.
 * 
 * This program 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 General Public License for more details.
 * 
 * You should have received a copy of the GNU General Public License
 * along with this program; if not, write to the Free Software
 * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
 * 02110-1301  USA
 */

#ifndef __ALAMBIC_H__
# define __ALAMBIC_H__

# include <genepi/genepi.h>
# include <armoise/armoise.h>

BEGIN_C_DECLS

typedef enum {
  ALAMBIC_NO_ERROR = 0, 
  ALAMBIC_REAL_NOT_SUPPORTED, 
  ALAMBIC_POSI_NOT_SUPPORTED, 
  ALAMBIC_INT_NOT_SUPPORTED, 
  ALAMBIC_INVALID_MUL_DIMENSIONS, 
  ALAMBIC_INVALID_MUL_CARDINALITY, 
  ALAMBIC_INVALID_MUL_FACTOR, 
  ALAMBIC_INVALID_DIV_DIMENSIONS, 
  ALAMBIC_INVALID_DIV_CARDINALITY,  
  ALAMBIC_INVALID_MOD_DIMENSIONS, 
  ALAMBIC_INVALID_MOD_CARDINALITY 
} alambic_error;

typedef struct armoise_normalized_predicate_st armoise_normalized_predicate;

extern armoise_normalized_predicate *
alambic_normalize_predicate (armoise_context *parent, 
                             const armoise_predicate *P, alambic_error *p_err);

extern ccl_tree *
alambic_normalize_predicate_tree (armoise_context *parent, 
                                  const ccl_tree *t, alambic_error *p_err);

extern genepi_set *
alambic_compute_predicate (genepi_solver *solver, 
                           const armoise_normalized_predicate *P, 
                           alambic_error *p_error);

END_C_DECLS

#endif /* ! __ALAMBIC_H__ */