/* Pseudocode interpreters for standard interval arithmetic    */
/* Created by Jorge Stolfi 93-12-22                            */

#ifndef AAEVAL_H
#define AAEVAL_H

#include <aa.h>
#include <pcode.h>

/* These procedures evaluate a pseudocode function $fcode$
  with affine arithmetic.
    
  The procedures expect the input arguments in $reg[0..N-1]$, and
  return the results in $stack[0..M-1]$, where $N$, $M$ are the input
  and output arity of the function.
  
  The $reg$ and $stack$ arrays must be large enough to accomodate
  the execution of $fcode$. 
  
  The procedures do not clean up the AA stack; the client is responsible
  for that. (See aa_top, aa_flush, and aa_return in <aa.h>.)
  */

void aa_eval (AAP reg[], AAP stack[], pcode_instr_t fcode[]);
  /* Evaluates the function $fcode$. */

typedef struct { AAP f; AAP df; } DiffAAP;

void aa_eval_diff (DiffAAP reg[], DiffAAP stack[], pcode_instr_t fcode[]);
  /* Evaluates the function $fcode$, and its derivative with respect to some 
    parameter $t$.  
    
    In any input or output quantity, the $f$ field represents the
    quantity's value, and $df$ represents its derivative with respect
    to $t$. */

#endif