https://github.com/eth-srl/ELINA
Tip revision: 9c2b0f640dafb3759e4093f964aedd0a25a241ce authored by Gagandeep Singh on 08 April 2020, 14:07:30 UTC
Update opt_pk_resize.c
Update opt_pk_resize.c
Tip revision: 9c2b0f6
opt_oct_incr_closure_dense.h
/*
*
* This source file is part of ELINA (ETH LIbrary for Numerical Analysis).
* ELINA is Copyright © 2019 Department of Computer Science, ETH Zurich
* This software is distributed under GNU Lesser General Public License Version 3.0.
* For more information, see the ELINA project website at:
* http://elina.ethz.ch
*
* THE SOFTWARE IS PROVIDED "AS-IS" WITHOUT ANY WARRANTY OF ANY KIND, EITHER
* EXPRESS, IMPLIED OR STATUTORY, INCLUDING BUT NOT LIMITED TO ANY WARRANTY
* THAT THE SOFTWARE WILL CONFORM TO SPECIFICATIONS OR BE ERROR-FREE AND ANY
* IMPLIED WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE,
* TITLE, OR NON-INFRINGEMENT. IN NO EVENT SHALL ETH ZURICH BE LIABLE FOR ANY
* DAMAGES, INCLUDING BUT NOT LIMITED TO DIRECT, INDIRECT,
* SPECIAL OR CONSEQUENTIAL DAMAGES, ARISING OUT OF, RESULTING FROM, OR IN
* ANY WAY CONNECTED WITH THIS SOFTWARE (WHETHER OR NOT BASED UPON WARRANTY,
* CONTRACT, TORT OR OTHERWISE).
*
*/
#ifndef __OPT_OCT_INCR_CLOSURE_DENSE_H_INCLUDED__
#define __OPT_OCT_INCR_CLOSURE_DENSE_H_INCLUDED__
#ifdef __cplusplus
extern "C" {
#endif
#include "opt_oct_hmat.h"
bool incremental_closure_opt_dense(opt_oct_mat_t *oo, int dim, int v, bool is_int);
double incremental_closure_calc_perf_dense(double cycles, int dim);
#ifdef __cplusplus
}
#endif
#endif