propagate.hh File Reference

#include <vector>
#include "boxes.hh"
#include "signals.hh"

Include dependency graph for propagate.hh:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Typedefs
typedef vector< Tree >	siglist
Functions
siglist	makeSigInputList (int n)
	Fabrique une liste de n entrées.
Tree	boxPropagateSig (Tree path, Tree box, const siglist &lsig)

---

Typedef Documentation

typedef vector<Tree> siglist

Definition at line 41 of file propagate.hh.

---

Function Documentation

Tree boxPropagateSig	(	Tree	path,
		Tree	box,
		const siglist &	lsig
	)

Definition at line 445 of file propagate.cpp.

References listConvert(), nil, and propagate().

Referenced by eval2double(), eval2int(), isBoxNumeric(), main(), mapPrepareEqSig(), and numericBoxSimplification().

{
    return listConvert(propagate(nil, path, box, lsig));
}

Here is the call graph for this function:

Here is the caller graph for this function:

siglist makeSigInputList

(

int

n

)

Fabrique une liste de n entrées.

Definition at line 96 of file propagate.cpp.

References sigInput().

Referenced by eval2double(), eval2int(), isBoxNumeric(), main(), mapPrepareEqSig(), and numericBoxSimplification().

{
    siglist l(n);
    for (int i = 0; i < n; i++) l[i] = sigInput(i);
    return l;
}

Here is the call graph for this function:

Here is the caller graph for this function: