11#ifndef __CODAC_TFNC_H__
12#define __CODAC_TFNC_H__
26 TFnc(
int nb_vars,
int img_dim,
bool is_intertemporal);
28 const TFnc& operator=(
const TFnc& f);
32 int image_dim()
const;
33 bool is_intertemporal()
const;
35 virtual const Tube eval(
const TubeVector& x)
const;
36 virtual const Interval eval(
const IntervalVector& x)
const = 0;
37 virtual const Interval eval(
int slice_id,
const TubeVector& x)
const = 0;
38 virtual const Interval eval(
const Interval& t,
const TubeVector& x)
const = 0;
40 virtual const TubeVector eval_vector(
const TubeVector& x)
const;
41 virtual const IntervalVector eval_vector(
const IntervalVector& x)
const = 0;
42 virtual const IntervalVector eval_vector(
int slice_id,
const TubeVector& x)
const = 0;
43 virtual const IntervalVector eval_vector(
const Interval& t,
const TubeVector& x)
const = 0;
49 int m_nb_vars, m_img_dim;
FixPoint of a separator The fixpoint of a separator is computed by calling the "::"separate function ...
Definition codac_capd_helpers.h:9