Module dbm: /home/adavid/UPPAAL/trunk/server/modules/dbm/infimum.h Source File

00001 /* -*- mode: C++; c-file-style: "stroustrup"; c-basic-offset: 4; indent-tabs-mode: nil; -*- */
00002 /*********************************************************************
00003  *
00004  * This file is a part of the UPPAAL toolkit.
00005  * Copyright (c) 1995 - 2005, Uppsala University and Aalborg University.
00006  * All right reserved.
00007  *
00008  **********************************************************************/
00009 
00010 
00011 #ifndef DBM_INFIMUM_H
00012 #define DBM_INFIMUM_H
00013 
00014 #include "dbm/constraints.h"
00015 
00016 int32_t pdbm_infimum(const raw_t *dbm, uint32_t dim, uint32_t offsetCost, const int32_t *rates);
00017 void pdbm_infimum(const raw_t *dbm, uint32_t dim, uint32_t offsetCost, const int32_t *rates, int32_t *valuation);
00018 
00019 #endif