boxes.hh File Reference

#include "tlib.hh"
#include "signals.hh"

Include dependency graph for boxes.hh:

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

Go to the source code of this file.

Typedefs
typedef Tree(*	prim0 )()
typedef Tree(*	prim1 )(Tree x)
typedef Tree(*	prim2 )(Tree x, Tree y)
typedef Tree(*	prim3 )(Tree x, Tree y, Tree z)
typedef Tree(*	prim4 )(Tree w, Tree x, Tree y, Tree z)
typedef Tree(*	prim5 )(Tree v, Tree w, Tree x, Tree y, Tree z)

Functions
Tree	boxIdent (const char *name)
bool	isBoxIdent (Tree t)
bool	isBoxIdent (Tree t, const char **name)
Tree	boxInt (int n)
Tree	boxReal (double n)
bool	isBoxInt (Tree t)
bool	isBoxReal (Tree t)
bool	isBoxInt (Tree t, int *i)
bool	isBoxReal (Tree t, double *r)
Tree	boxWaveform (const tvec &br)
bool	isBoxWaveform (Tree t)
Tree	boxWire ()
Tree	boxCut ()
bool	isBoxWire (Tree t)
bool	isBoxCut (Tree t)
Tree	boxSlot (int id)
Tree	boxSymbolic (Tree slot, Tree body)
bool	isBoxSlot (Tree t)
bool	isBoxSymbolic (Tree t)
bool	isBoxSlot (Tree t, int *id)
bool	isBoxSymbolic (Tree t, Tree &slot, Tree &body)
Tree	boxSeq (Tree x, Tree y)
Tree	boxPar (Tree x, Tree y)
Tree	boxRec (Tree x, Tree y)
Tree	boxSplit (Tree x, Tree y)
Tree	boxMerge (Tree x, Tree y)
bool	isBoxSeq (Tree t, Tree &x, Tree &y)
bool	isBoxPar (Tree t, Tree &x, Tree &y)
bool	isBoxRec (Tree t, Tree &x, Tree &y)
bool	isBoxSplit (Tree t, Tree &x, Tree &y)
bool	isBoxMerge (Tree t, Tree &x, Tree &y)
Tree	boxIPar (Tree x, Tree y, Tree z)
Tree	boxISeq (Tree x, Tree y, Tree z)
Tree	boxISum (Tree x, Tree y, Tree z)
Tree	boxIProd (Tree x, Tree y, Tree z)
bool	isBoxIPar (Tree t, Tree &x, Tree &y, Tree &z)
bool	isBoxISeq (Tree t, Tree &x, Tree &y, Tree &z)
bool	isBoxISum (Tree t, Tree &x, Tree &y, Tree &z)
bool	isBoxIProd (Tree t, Tree &x, Tree &y, Tree &z)
Tree	boxInputs (Tree x)
Tree	boxOutputs (Tree x)
bool	isBoxInputs (Tree t, Tree &x)
bool	isBoxOutputs (Tree t, Tree &x)
Tree	buildBoxAbstr (Tree x, Tree y)
Tree	buildBoxAppl (Tree x, Tree y)
Tree	boxAbstr (Tree x, Tree y)
Tree	boxAppl (Tree x, Tree y)
bool	isBoxAbstr (Tree t)
bool	isBoxAppl (Tree t)
bool	isBoxAbstr (Tree t, Tree &x, Tree &y)
bool	isBoxAppl (Tree t, Tree &x, Tree &y)
Tree	closure (Tree abstr, Tree genv, Tree vis, Tree lenv)
bool	isClosure (Tree t, Tree &abstr, Tree &genv, Tree &vis, Tree &lenv)
Tree	boxAccess (Tree exp, Tree id)
bool	isBoxAccess (Tree t, Tree &exp, Tree &id)
Tree	boxWithLocalDef (Tree body, Tree ldef)
bool	isBoxWithLocalDef (Tree t, Tree &body, Tree &ldef)
Tree	boxModifLocalDef (Tree body, Tree ldef)
bool	isBoxModifLocalDef (Tree t, Tree &body, Tree &ldef)
Tree	boxError ()
bool	isBoxError (Tree t)
Tree	boxPrim0 (prim0 foo)
Tree	boxPrim1 (prim1 foo)
Tree	boxPrim2 (prim2 foo)
Tree	boxPrim3 (prim3 foo)
Tree	boxPrim4 (prim4 foo)
Tree	boxPrim5 (prim5 foo)
bool	isBoxPrim0 (Tree s)
bool	isBoxPrim1 (Tree s)
bool	isBoxPrim2 (Tree s)
bool	isBoxPrim3 (Tree s)
bool	isBoxPrim4 (Tree s)
bool	isBoxPrim5 (Tree s)
bool	isBoxPrim0 (Tree s, prim0 *p)
bool	isBoxPrim1 (Tree s, prim1 *p)
bool	isBoxPrim2 (Tree s, prim2 *p)
bool	isBoxPrim3 (Tree s, prim3 *p)
bool	isBoxPrim4 (Tree s, prim4 *p)
bool	isBoxPrim5 (Tree s, prim5 *p)
Tree	boxFFun (Tree ff)
bool	isBoxFFun (Tree s)
bool	isBoxFFun (Tree s, Tree &ff)
Tree	boxFConst (Tree type, Tree name, Tree file)
bool	isBoxFConst (Tree s)
bool	isBoxFConst (Tree s, Tree &type, Tree &name, Tree &file)
Tree	boxFVar (Tree type, Tree name, Tree file)
bool	isBoxFVar (Tree s)
bool	isBoxFVar (Tree s, Tree &type, Tree &name, Tree &file)
Tree	boxEnvironment ()
bool	isBoxEnvironment (Tree s)
Tree	boxComponent (Tree filename)
bool	isBoxComponent (Tree s, Tree &filename)
Tree	boxLibrary (Tree filename)
bool	isBoxLibrary (Tree s, Tree &filename)
Tree	importFile (Tree filename)
bool	isImportFile (Tree s, Tree &filename)
Tree	boxButton (Tree label)
bool	isBoxButton (Tree s)
bool	isBoxButton (Tree s, Tree &label)
Tree	boxCheckbox (Tree label)
bool	isBoxCheckbox (Tree s)
bool	isBoxCheckbox (Tree s, Tree &label)
Tree	boxVSlider (Tree label, Tree cur, Tree min, Tree max, Tree step)
bool	isBoxVSlider (Tree s)
bool	isBoxVSlider (Tree s, Tree &label, Tree &cur, Tree &min, Tree &max, Tree &step)
Tree	boxHSlider (Tree label, Tree cur, Tree min, Tree max, Tree step)
bool	isBoxHSlider (Tree s)
bool	isBoxHSlider (Tree s, Tree &label, Tree &cur, Tree &min, Tree &max, Tree &step)
Tree	boxNumEntry (Tree label, Tree cur, Tree min, Tree max, Tree step)
bool	isBoxNumEntry (Tree s)
bool	isBoxNumEntry (Tree s, Tree &label, Tree &cur, Tree &min, Tree &max, Tree &step)
Tree	boxVGroup (Tree label, Tree x)
bool	isBoxVGroup (Tree s)
bool	isBoxVGroup (Tree s, Tree &label, Tree &x)
Tree	boxHGroup (Tree label, Tree x)
bool	isBoxHGroup (Tree s)
bool	isBoxHGroup (Tree s, Tree &label, Tree &x)
Tree	boxTGroup (Tree label, Tree x)
bool	isBoxTGroup (Tree s)
bool	isBoxTGroup (Tree s, Tree &label, Tree &x)
Tree	boxVBargraph (Tree label, Tree min, Tree max)
bool	isBoxVBargraph (Tree s)
bool	isBoxVBargraph (Tree s, Tree &label, Tree &min, Tree &max)
Tree	boxHBargraph (Tree label, Tree min, Tree max)
bool	isBoxHBargraph (Tree s)
bool	isBoxHBargraph (Tree s, Tree &label, Tree &min, Tree &max)
Tree	boxCase (Tree rules)
bool	isBoxCase (Tree s)
bool	isBoxCase (Tree s, Tree &rules)
Tree	boxPatternMatcher (Automaton *a, int state, Tree env, Tree origRules, Tree revParamList)
bool	isBoxPatternMatcher (Tree s)
bool	isBoxPatternMatcher (Tree s, Automaton *&a, int &state, Tree &env, Tree &origRules, Tree &revParamList)
Tree	boxPatternVar (Tree id)
bool	isBoxPatternVar (Tree s, Tree &id)
bool	getBoxType (Tree box, int *inum, int *onum)
	Return the type (number of inputs and outputs) of a box or false if undefined. More...

Typedef Documentation

typedef Tree(* prim0)()

Definition at line 208 of file boxes.hh.

typedef Tree(* prim1)(Tree x)

Definition at line 209 of file boxes.hh.

typedef Tree(* prim2)(Tree x, Tree y)

Definition at line 210 of file boxes.hh.

typedef Tree(* prim3)(Tree x, Tree y, Tree z)

Definition at line 211 of file boxes.hh.

typedef Tree(* prim4)(Tree w, Tree x, Tree y, Tree z)

Definition at line 212 of file boxes.hh.

typedef Tree(* prim5)(Tree v, Tree w, Tree x, Tree y, Tree z)

Definition at line 213 of file boxes.hh.

Function Documentation

Tree boxAbstr	(	Tree	x,
		Tree	y
	)

Definition at line 199 of file boxes.cpp.

References tree().

Referenced by buildBoxAbstr().

{ return tree(BOXABSTR, x, y); }

Here is the call graph for this function:

Here is the caller graph for this function:

Tree boxAccess	(	Tree	exp,
		Tree	id
	)

Definition at line 255 of file boxes.cpp.

References tree().

Referenced by yyparse().

{ return tree(BOXACCESS, exp, id); }

Here is the call graph for this function:

Here is the caller graph for this function:

Tree boxAppl	(	Tree	x,
		Tree	y
	)

Definition at line 200 of file boxes.cpp.

References tree().

Referenced by buildBoxAppl(), and preparePattern().

{ return tree(BOXAPPL, x, y); }

Here is the call graph for this function:

Here is the caller graph for this function:

Tree boxButton

(

Tree

label

)

Definition at line 365 of file boxes.cpp.

References tree().

Referenced by realeval(), and yyparse().

{ return tree(BOXBUTTON, lbl);                  }

Here is the call graph for this function:

Here is the caller graph for this function:

Tree boxCase

(

Tree

rules

)

Definition at line 615 of file boxes.cpp.

References boxCaseInternal(), and prepareRules().

Referenced by applyList(), makeDefinition(), and yyparse().

{ return boxCaseInternal(prepareRules(rules));  }

Here is the call graph for this function:

Here is the caller graph for this function:

Tree boxCheckbox

(

Tree

label

)

Definition at line 371 of file boxes.cpp.

References tree().

Referenced by realeval(), and yyparse().

{ return tree(BOXCHECKBOX, lbl);                    }

Here is the call graph for this function:

Here is the caller graph for this function:

Tree boxComponent

(

Tree

filename

)

Definition at line 289 of file boxes.cpp.

References tree().

Referenced by yyparse().

{ return tree(BOXCOMPONENT, filename); }

Here is the call graph for this function:

Here is the caller graph for this function:

Tree boxCut

(

)

Definition at line 104 of file boxes.cpp.

References tree().

Referenced by yyparse().

{ return tree(BOXCUT); }

Here is the call graph for this function:

Here is the caller graph for this function:

Tree boxEnvironment

(

)

Definition at line 284 of file boxes.cpp.

References tree().

Referenced by realeval(), and yyparse().

{ return tree(BOXENVIRONMENT); }

Here is the call graph for this function:

Here is the caller graph for this function:

Tree boxError

(

)

Definition at line 244 of file boxes.cpp.

References tree().

Referenced by apply_pattern_matcher(), and applyList().

{
    return  tree(BOXERROR);
}

Here is the call graph for this function:

Here is the caller graph for this function:

Tree boxFConst	(	Tree	type,
		Tree	name,
		Tree	file
	)

Definition at line 349 of file boxes.cpp.

References tree().

Referenced by yyparse().

{ return tree(BOXFCONST, type, name, file);             }

Here is the call graph for this function:

Here is the caller graph for this function:

Tree boxFFun

(

Tree

ff

)

Definition at line 343 of file boxes.cpp.

References tree().

Referenced by yyparse().

{ return tree(BOXFFUN, ff);                 }

Here is the call graph for this function:

Here is the caller graph for this function:

Tree boxFVar	(	Tree	type,
		Tree	name,
		Tree	file
	)

Definition at line 355 of file boxes.cpp.

References tree().

Referenced by yyparse().

{ return tree(BOXFVAR, type, name, file);             }

Here is the call graph for this function:

Here is the caller graph for this function:

Tree boxHBargraph	(	Tree	label,
		Tree	min,
		Tree	max
	)

Definition at line 454 of file boxes.cpp.

References tree().

Referenced by realeval(), and yyparse().

{ return tree(BOXHBARGRAPH, lbl, min, max);     }

Here is the call graph for this function:

Here is the caller graph for this function:

Tree boxHGroup	(	Tree	label,
		Tree	x
	)

Definition at line 436 of file boxes.cpp.

References tree().

Referenced by insideBoxSimplification(), preparePattern(), realeval(), and yyparse().

{ return tree(BOXHGROUP, lbl, x);               }

Here is the call graph for this function:

Here is the caller graph for this function:

Tree boxHSlider	(	Tree	label,
		Tree	cur,
		Tree	min,
		Tree	max,
		Tree	step
	)

Definition at line 377 of file boxes.cpp.

References list4(), and tree().

Referenced by realeval(), and yyparse().

                                            { return tree(BOXHSLIDER, lbl, list4(cur,min,max,step));        }

Here is the call graph for this function:

Here is the caller graph for this function:

Tree boxIdent

(

const char *

name

)

Definition at line 57 of file boxes.cpp.

References symbol(), and tree().

Referenced by declareAutoDoc(), evalprocess(), realeval(), writeIdentValue(), and yyparse().

{ return tree(BOXIDENT, tree(symbol(name)) ); }

Here is the call graph for this function:

Here is the caller graph for this function:

Tree boxInputs

(

Tree

x

)

Definition at line 182 of file boxes.cpp.

References tree().

Referenced by preparePattern(), and yyparse().

{ return tree(BOXINPUTS, x);        }

Here is the call graph for this function:

Here is the caller graph for this function:

Tree boxInt

(

int

n

)

Definition at line 75 of file boxes.cpp.

References tree().

Referenced by isBoxNumeric(), isInverter(), numericBoxSimplification(), realeval(), and yyparse().

{ return tree(n);   }

Here is the call graph for this function:

Here is the caller graph for this function:

Tree boxIPar	(	Tree	x,
		Tree	y,
		Tree	z
	)

Definition at line 164 of file boxes.cpp.

References tree().

Referenced by preparePattern(), and yyparse().

{ return tree(BOXIPAR, x, y, z);        }

Here is the call graph for this function:

Here is the caller graph for this function:

Tree boxIProd	(	Tree	x,
		Tree	y,
		Tree	z
	)

Definition at line 167 of file boxes.cpp.

References tree().

Referenced by preparePattern(), and yyparse().

{ return tree(BOXIPROD, x, y, z);       }

Here is the call graph for this function:

Here is the caller graph for this function:

Tree boxISeq	(	Tree	x,
		Tree	y,
		Tree	z
	)

Definition at line 165 of file boxes.cpp.

References tree().

Referenced by preparePattern(), and yyparse().

{ return tree(BOXISEQ, x, y, z);        }

Here is the call graph for this function:

Here is the caller graph for this function:

Tree boxISum	(	Tree	x,
		Tree	y,
		Tree	z
	)

Definition at line 166 of file boxes.cpp.

References tree().

Referenced by preparePattern(), and yyparse().

{ return tree(BOXISUM, x, y, z);        }

Here is the call graph for this function:

Here is the caller graph for this function:

Tree boxLibrary

(

Tree

filename

)

Definition at line 294 of file boxes.cpp.

References tree().

Referenced by yyparse().

{ return tree(BOXLIBRARY, filename); }

Here is the call graph for this function:

Here is the caller graph for this function:

Tree boxMerge	(	Tree	x,
		Tree	y
	)

Definition at line 151 of file boxes.cpp.

References tree().

Referenced by insideBoxSimplification(), preparePattern(), realeval(), and yyparse().

{ return tree(BOXMERGE, x, y); }

Here is the call graph for this function:

Here is the caller graph for this function:

Tree boxModifLocalDef	(	Tree	body,
		Tree	ldef
	)

Definition at line 274 of file boxes.cpp.

References tree().

Referenced by yyparse().

{ return tree(BOXMODIFLOCALDEF, body, ldef); }

Here is the call graph for this function:

Here is the caller graph for this function:

Tree boxNumEntry	(	Tree	label,
		Tree	cur,
		Tree	min,
		Tree	max,
		Tree	step
	)

Definition at line 416 of file boxes.cpp.

References list4(), and tree().

Referenced by realeval(), and yyparse().

                                            { return tree(BOXNUMENTRY, lbl, list4(cur,min,max,step));       }

Here is the call graph for this function:

Here is the caller graph for this function:

Tree boxOutputs

(

Tree

x

)

Definition at line 183 of file boxes.cpp.

References tree().

Referenced by preparePattern(), and yyparse().

{ return tree(BOXOUTPUTS, x);       }

Here is the call graph for this function:

Here is the caller graph for this function:

Tree boxPar	(	Tree	x,
		Tree	y
	)

Definition at line 139 of file boxes.cpp.

References tree().

Referenced by insideBoxSimplification(), isInverter(), iteratePar(), iterateProd(), iterateSum(), larg2par(), preparePattern(), realeval(), and yyparse().

{ return tree(BOXPAR, x, y);        }

Here is the call graph for this function:

Here is the caller graph for this function:

Tree boxPatternMatcher	(	Automaton *	a,
		int	state,
		Tree	env,
		Tree	origRules,
		Tree	revParamList
	)

Definition at line 625 of file boxes.cpp.

References tree().

Referenced by applyList(), and evalCase().

{ 
    return tree(BOXPATMATCHER, tree((void*)a), tree(state), env, origRules, revParamList); 
}                   

Here is the call graph for this function:

Here is the caller graph for this function:

Tree boxPatternVar

(

Tree

id

)

Definition at line 621 of file boxes.cpp.

References tree().

Referenced by preparePattern().

{ return tree(BOXPATVAR, id);                   }

Here is the call graph for this function:

Here is the caller graph for this function:

Tree boxPrim0

(

prim0

foo

)

Definition at line 309 of file boxes.cpp.

References tree().

{ return tree(BOXPRIM0, tree((void*)foo)); }

Here is the call graph for this function:

Tree boxPrim1

(

prim1

foo

)

Definition at line 314 of file boxes.cpp.

References tree().

Referenced by yyparse().

{ return tree(BOXPRIM1, tree((void*)foo)); }

Here is the call graph for this function:

Here is the caller graph for this function:

Tree boxPrim2

(

prim2

foo

)

Definition at line 319 of file boxes.cpp.

References tree().

Referenced by isInverter(), iterateProd(), iterateSum(), and yyparse().

{ return tree(BOXPRIM2, tree((void*)foo)); }

Here is the call graph for this function:

Here is the caller graph for this function:

Tree boxPrim3

(

prim3

foo

)

Definition at line 324 of file boxes.cpp.

References tree().

Referenced by yyparse().

{ return tree(BOXPRIM3, tree((void*)foo)); }

Here is the call graph for this function:

Here is the caller graph for this function:

Tree boxPrim4

(

prim4

foo

)

Definition at line 329 of file boxes.cpp.

References tree().

Referenced by yyparse().

{ return tree(BOXPRIM4, tree((void*)foo)); }

Here is the call graph for this function:

Here is the caller graph for this function:

Tree boxPrim5

(

prim5

foo

)

Definition at line 334 of file boxes.cpp.

References tree().

Referenced by yyparse().

{ return tree(BOXPRIM5, tree((void*)foo)); }

Here is the call graph for this function:

Here is the caller graph for this function:

Tree boxReal

(

double

n

)

Definition at line 76 of file boxes.cpp.

References tree().

Referenced by isBoxNumeric(), isInverter(), numericBoxSimplification(), and yyparse().

{ return tree(n);   }

Here is the call graph for this function:

Here is the caller graph for this function:

Tree boxRec	(	Tree	x,
		Tree	y
	)

Definition at line 143 of file boxes.cpp.

References tree().

Referenced by insideBoxSimplification(), preparePattern(), realeval(), and yyparse().

{ return tree(BOXREC, x, y);        }

Here is the call graph for this function:

Here is the caller graph for this function:

Tree boxSeq	(	Tree	x,
		Tree	y
	)

Definition at line 135 of file boxes.cpp.

References tree().

Referenced by applyList(), insideBoxSimplification(), isInverter(), iterateProd(), iterateSeq(), iterateSum(), preparePattern(), realeval(), and yyparse().

{ return tree(BOXSEQ, x, y);        }

Here is the call graph for this function:

Here is the caller graph for this function:

Tree boxSlot

(

int

id

)

Definition at line 118 of file boxes.cpp.

References tree().

Referenced by real_a2sb().

{ return tree(BOXSLOT,tree(id)); }

Here is the call graph for this function:

Here is the caller graph for this function:

Tree boxSplit	(	Tree	x,
		Tree	y
	)

Definition at line 147 of file boxes.cpp.

References tree().

Referenced by insideBoxSimplification(), preparePattern(), realeval(), and yyparse().

{ return tree(BOXSPLIT, x, y);      }

Here is the call graph for this function:

Here is the caller graph for this function:

Tree boxSymbolic	(	Tree	slot,
		Tree	body
	)

Definition at line 125 of file boxes.cpp.

References tree().

Referenced by insideBoxSimplification(), and real_a2sb().

{ return tree(BOXSYMBOLIC,slot, body); }

Here is the call graph for this function:

Here is the caller graph for this function:

Tree boxTGroup	(	Tree	label,
		Tree	x
	)

Definition at line 448 of file boxes.cpp.

References tree().

Referenced by insideBoxSimplification(), preparePattern(), realeval(), and yyparse().

{ return tree(BOXTGROUP, lbl, x);               }

Here is the call graph for this function:

Here is the caller graph for this function:

Tree boxVBargraph	(	Tree	label,
		Tree	min,
		Tree	max
	)

Definition at line 460 of file boxes.cpp.

References tree().

Referenced by realeval(), and yyparse().

{ return tree(BOXVBARGRAPH, lbl, min, max);     }

Here is the call graph for this function:

Here is the caller graph for this function:

Tree boxVGroup	(	Tree	label,
		Tree	x
	)

Definition at line 442 of file boxes.cpp.

References tree().

Referenced by insideBoxSimplification(), preparePattern(), realeval(), and yyparse().

{ return tree(BOXVGROUP, lbl, x);               }

Here is the call graph for this function:

Here is the caller graph for this function:

Tree boxVSlider	(	Tree	label,
		Tree	cur,
		Tree	min,
		Tree	max,
		Tree	step
	)

Definition at line 397 of file boxes.cpp.

References list4(), and tree().

Referenced by realeval(), and yyparse().

                                            { return tree(BOXVSLIDER, lbl, list4(cur,min,max,step));        }

Here is the call graph for this function:

Here is the caller graph for this function:

Tree boxWaveform

(

const tvec &

br

)

Definition at line 92 of file boxes.cpp.

References tree().

Referenced by yyparse().

{
    return tree(BOXWAVEFORM, br);
}

Here is the call graph for this function:

Here is the caller graph for this function:

Tree boxWire

(

)

Definition at line 108 of file boxes.cpp.

References tree().

Referenced by isInverter(), nwires(), and yyparse().

{ return tree(BOXWIRE); }

Here is the call graph for this function:

Here is the caller graph for this function:

Tree boxWithLocalDef	(	Tree	body,
		Tree	ldef
	)

Definition at line 264 of file boxes.cpp.

References tree().

Referenced by preparePattern(), and yyparse().

{ return tree(BOXWITHLOCALDEF, body, ldef); }

Here is the call graph for this function:

Here is the caller graph for this function:

Tree buildBoxAbstr	(	Tree	x,
		Tree	y
	)

Definition at line 208 of file boxes.cpp.

References boxAbstr(), buildBoxAbstr(), hd(), isNil(), and tl().

Referenced by buildBoxAbstr(), makeDefinition(), and yyparse().

{
    if (isNil(largs)) {
        return body;
    } else {
        return buildBoxAbstr(tl(largs), boxAbstr(hd(largs), body));
    }
}

Here is the call graph for this function:

Here is the caller graph for this function:

Tree buildBoxAppl	(	Tree	x,
		Tree	y
	)

Definition at line 227 of file boxes.cpp.

References boxAppl(), and isNil().

Referenced by yyparse().

{
    if (isNil (revarglist)) exit(1); // a revoir !!!!!!
    return  boxAppl(fun, revarglist);
}

Here is the call graph for this function:

Here is the caller graph for this function:

Tree closure	(	Tree	abstr,
		Tree	genv,
		Tree	vis,
		Tree	lenv
	)

Definition at line 234 of file boxes.cpp.

References tree().

Referenced by apply_pattern_matcher(), copyEnvReplaceDefs(), pushMultiClosureDefs(), realeval(), and updateClosures().

{
    return  tree(CLOSURE, abstr, genv, vis, lenv);
}

Here is the call graph for this function:

Here is the caller graph for this function:

bool getBoxType	(	Tree	box,
		int *	inum,
		int *	onum
	)

Return the type (number of inputs and outputs) of a box or false if undefined.

Parameters

box	the box we want to know the type
inum	the place to return the number of inputs
onum	the place to return the number of outputs

Returns

true if type is defined, false if undefined

Definition at line 63 of file boxtype.cpp.

References cons(), Node::getInt(), getProperty(), hd(), infereBoxType(), isNil(), nil, CTree::node(), setProperty(), tl(), and tree().

Referenced by applyList(), boxlistOutputs(), eval2double(), eval2int(), generateDiagramSchema(), getBoxInputsAndOutputs(), infereBoxType(), isBoxNumeric(), main(), mapGetEqName(), numericBoxSimplification(), realeval(), realPropagate(), and writeSchemaFile().

{
    Tree t;
    if (getProperty(box, BOXTYPEPROP, t)) {
        
        if (isNil(t)) {
            return false;
        } else {
            *inum = hd(t)->node().getInt();
            *onum = tl(t)->node().getInt();
            return true;
        }
        
    } else {
    
        if (infereBoxType(box, inum, onum)) {
            setProperty(box, BOXTYPEPROP, cons(tree(*inum), tree(*onum)));
            return true;
        } else {
            setProperty(box, BOXTYPEPROP, nil);
            return false;
        }
    }
}

Here is the call graph for this function:

Here is the caller graph for this function:

Tree importFile

(

Tree

filename

)

Definition at line 300 of file boxes.cpp.

References tree().

Referenced by main(), and yyparse().

{ return tree(IMPORTFILE, filename); }

Here is the call graph for this function:

Here is the caller graph for this function:

bool isBoxAbstr

(

Tree

t

)

Definition at line 202 of file boxes.cpp.

References CTree::node().

Referenced by applyList(), preparePattern(), boxpp::print(), real_a2sb(), and realeval().

{ return t->node() == Node(BOXABSTR); }

Here is the call graph for this function:

Here is the caller graph for this function:

bool isBoxAbstr	(	Tree	t,
		Tree &	x,
		Tree &	y
	)

Definition at line 205 of file boxes.cpp.

References isTree().

{ return isTree(t, BOXABSTR, x, y); }

Here is the call graph for this function:

bool isBoxAccess	(	Tree	t,
		Tree &	exp,
		Tree &	id
	)

Definition at line 256 of file boxes.cpp.

References isTree().

Referenced by preparePattern(), boxpp::print(), and realeval().

{ return isTree(t, BOXACCESS, exp, id); }

Here is the call graph for this function:

Here is the caller graph for this function:

bool isBoxAppl

(

Tree

t

)

Definition at line 203 of file boxes.cpp.

References CTree::node().

Referenced by preparePattern(), boxpp::print(), and realeval().

{ return t->node() == Node(BOXAPPL); }

Here is the call graph for this function:

Here is the caller graph for this function:

bool isBoxAppl	(	Tree	t,
		Tree &	x,
		Tree &	y
	)

Definition at line 206 of file boxes.cpp.

References isTree().

{ return isTree(t, BOXAPPL, x, y); }

Here is the call graph for this function:

bool isBoxButton

(

Tree

s

)

Definition at line 366 of file boxes.cpp.

References isTree().

Referenced by computeBoxComplexity(), generateInsideSchema(), infereBoxType(), insideBoxSimplification(), preparePattern(), boxpp::print(), realeval(), realPropagate(), and UserInterfaceDescription().

{ Tree lbl; return isTree(s, BOXBUTTON, lbl);   }

Here is the call graph for this function:

Here is the caller graph for this function:

bool isBoxButton	(	Tree	s,
		Tree &	label
	)

Definition at line 367 of file boxes.cpp.

References isTree().

{ return isTree(s, BOXBUTTON, lbl);             }

Here is the call graph for this function:

bool isBoxCase

(

Tree

s

)

Definition at line 617 of file boxes.cpp.

References isTree().

Referenced by copyEnvReplaceDefs(), preparePattern(), boxpp::print(), pushMultiClosureDefs(), and realeval().

{ Tree rules; return isTree(s, BOXCASE, rules); }

Here is the call graph for this function:

Here is the caller graph for this function:

bool isBoxCase	(	Tree	s,
		Tree &	rules
	)

Definition at line 618 of file boxes.cpp.

References isTree().

{ return isTree(s, BOXCASE, rules);             }

Here is the call graph for this function:

bool isBoxCheckbox

(

Tree

s

)

Definition at line 372 of file boxes.cpp.

References isTree().

Referenced by computeBoxComplexity(), generateInsideSchema(), infereBoxType(), insideBoxSimplification(), preparePattern(), boxpp::print(), realeval(), realPropagate(), and UserInterfaceDescription().

{ Tree lbl; return isTree(s, BOXCHECKBOX, lbl); }

Here is the call graph for this function:

Here is the caller graph for this function:

bool isBoxCheckbox	(	Tree	s,
		Tree &	label
	)

Definition at line 373 of file boxes.cpp.

References isTree().

{ return isTree(s, BOXCHECKBOX, lbl);               }

Here is the call graph for this function:

bool isBoxComponent	(	Tree	s,
		Tree &	filename
	)

Definition at line 290 of file boxes.cpp.

References isTree().

Referenced by preparePattern(), boxpp::print(), and realeval().

{ return isTree(s, BOXCOMPONENT, filename); }

Here is the call graph for this function:

Here is the caller graph for this function:

bool isBoxCut

(

Tree

t

)

Definition at line 105 of file boxes.cpp.

References isTree().

Referenced by computeBoxComplexity(), generateInsideSchema(), infereBoxType(), insideBoxSimplification(), isPureRouting(), preparePattern(), boxpp::print(), realeval(), and realPropagate().

{ return isTree(t, BOXCUT); }

Here is the call graph for this function:

Here is the caller graph for this function:

bool isBoxEnvironment

(

Tree

s

)

Definition at line 285 of file boxes.cpp.

References isTree().

Referenced by applyList(), infereBoxType(), preparePattern(), boxpp::print(), real_a2sb(), and realeval().

{ return isTree(s, BOXENVIRONMENT); }

Here is the call graph for this function:

Here is the caller graph for this function:

bool isBoxError

(

Tree

t

)

Definition at line 249 of file boxes.cpp.

References isTree().

Referenced by apply_pattern_matcher(), applyList(), make_pattern_matcher(), and boxpp::print().

{
    return isTree(t, BOXERROR);
}

Here is the call graph for this function:

Here is the caller graph for this function:

bool isBoxFConst

(

Tree

s

)

Definition at line 350 of file boxes.cpp.

References isTree().

Referenced by computeBoxComplexity(), generateInsideSchema(), infereBoxType(), insideBoxSimplification(), preparePattern(), boxpp::print(), realeval(), and realPropagate().

{ Tree t,n,f; return isTree(s, BOXFCONST, t, n, f); }

Here is the call graph for this function:

Here is the caller graph for this function:

bool isBoxFConst	(	Tree	s,
		Tree &	type,
		Tree &	name,
		Tree &	file
	)

Definition at line 351 of file boxes.cpp.

References isTree().

{ return isTree(s, BOXFCONST,type, name, file);     }

Here is the call graph for this function:

bool isBoxFFun

(

Tree

s

)

Definition at line 344 of file boxes.cpp.

References isTree().

Referenced by computeBoxComplexity(), generateInsideSchema(), infereBoxType(), insideBoxSimplification(), preparePattern(), boxpp::print(), realeval(), and realPropagate().

{ Tree ff; return isTree(s, BOXFFUN, ff);   }

Here is the call graph for this function:

Here is the caller graph for this function:

bool isBoxFFun	(	Tree	s,
		Tree &	ff
	)

Definition at line 345 of file boxes.cpp.

References isTree().

{ return isTree(s, BOXFFUN, ff);            }

Here is the call graph for this function:

bool isBoxFVar

(

Tree

s

)

Definition at line 356 of file boxes.cpp.

References isTree().

Referenced by computeBoxComplexity(), generateInsideSchema(), infereBoxType(), insideBoxSimplification(), preparePattern(), boxpp::print(), realeval(), and realPropagate().

{ Tree t,n,f; return isTree(s, BOXFVAR, t, n, f); }

Here is the call graph for this function:

Here is the caller graph for this function:

bool isBoxFVar	(	Tree	s,
		Tree &	type,
		Tree &	name,
		Tree &	file
	)

Definition at line 357 of file boxes.cpp.

References isTree().

{ return isTree(s, BOXFVAR,type, name, file);     }

Here is the call graph for this function:

bool isBoxHBargraph

(

Tree

s

)

Definition at line 455 of file boxes.cpp.

References isTree(), max(), and min().

Referenced by computeBoxComplexity(), generateInsideSchema(), infereBoxType(), insideBoxSimplification(), preparePattern(), boxpp::print(), realeval(), realPropagate(), and UserInterfaceDescription().

{ Tree lbl, min, max; return isTree(s, BOXHBARGRAPH, lbl, min, max);    }

Here is the call graph for this function:

Here is the caller graph for this function:

bool isBoxHBargraph	(	Tree	s,
		Tree &	label,
		Tree &	min,
		Tree &	max
	)

Definition at line 456 of file boxes.cpp.

References isTree().

{ return isTree(s, BOXHBARGRAPH, lbl, min, max); }

Here is the call graph for this function:

bool isBoxHGroup

(

Tree

s

)

Definition at line 437 of file boxes.cpp.

References isTree().

Referenced by computeBoxComplexity(), generateInsideSchema(), infereBoxType(), insideBoxSimplification(), isBoxPatternOp(), preparePattern(), boxpp::print(), realeval(), realPropagate(), and UserInterfaceDescription().

{ Tree lbl, x; return isTree(s, BOXHGROUP, lbl, x); }

Here is the call graph for this function:

Here is the caller graph for this function:

bool isBoxHGroup	(	Tree	s,
		Tree &	label,
		Tree &	x
	)

Definition at line 438 of file boxes.cpp.

References isTree().

{ return isTree(s, BOXHGROUP, lbl, x);              }

Here is the call graph for this function:

bool isBoxHSlider

(

Tree

s

)

Definition at line 379 of file boxes.cpp.

References isTree().

Referenced by computeBoxComplexity(), generateInsideSchema(), infereBoxType(), insideBoxSimplification(), preparePattern(), boxpp::print(), realeval(), realPropagate(), and UserInterfaceDescription().

{ Tree lbl, params; return isTree(s, BOXHSLIDER, lbl, params);  }

Here is the call graph for this function:

Here is the caller graph for this function:

bool isBoxHSlider	(	Tree	s,
		Tree &	label,
		Tree &	cur,
		Tree &	min,
		Tree &	max,
		Tree &	step
	)

Definition at line 381 of file boxes.cpp.

References isTree(), and nth().

{
    Tree params;
    if (isTree(s, BOXHSLIDER, lbl, params)) {
        cur = nth(params, 0);
        min = nth(params, 1);
        max = nth(params, 2);
        step= nth(params, 3);
        return true;
    } else {
        return false;
    }
}

Here is the call graph for this function:

bool isBoxIdent

(

Tree

t

)

Definition at line 58 of file boxes.cpp.

References CTree::node().

Referenced by preparePattern(), boxpp::print(), real_a2sb(), realeval(), and standardArgList().

{ return t->node() == Node(BOXIDENT); }

Here is the call graph for this function:

Here is the caller graph for this function:

bool isBoxIdent	(	Tree	t,
		const char **	name
	)

Definition at line 59 of file boxes.cpp.

References isSym(), isTree(), name(), and CTree::node().

{
    Tree t1; Sym s;
    if ( isTree(t0, BOXIDENT, t1) && isSym(t1->node(), &s) ) {
        *str = name(s);
        return true;
    } else {
        return false;
    }
}

Here is the call graph for this function:

bool isBoxInputs	(	Tree	t,
		Tree &	x
	)

Definition at line 185 of file boxes.cpp.

References isTree().

Referenced by preparePattern(), boxpp::print(), and realeval().

{ return isTree(t, BOXINPUTS, x);   }

Here is the call graph for this function:

Here is the caller graph for this function:

bool isBoxInt

(

Tree

t

)

Definition at line 78 of file boxes.cpp.

References isInt(), and CTree::node().

Referenced by Automaton::build(), computeBoxComplexity(), generateInsideSchema(), infereBoxType(), insideBoxSimplification(), isBoxNumeric(), numericBoxSimplification(), preparePattern(), boxpp::print(), realeval(), and realPropagate().

{ return isInt(t->node());  }

Here is the call graph for this function:

Here is the caller graph for this function:

bool isBoxInt	(	Tree	t,
		int *	i
	)

Definition at line 81 of file boxes.cpp.

References isInt(), and CTree::node().

{ return isInt(t->node(), i);   }

Here is the call graph for this function:

bool isBoxIPar	(	Tree	t,
		Tree &	x,
		Tree &	y,
		Tree &	z
	)

Definition at line 169 of file boxes.cpp.

References isTree().

Referenced by preparePattern(), boxpp::print(), and realeval().

{ return isTree(t, BOXIPAR,  x, y, z);   }

Here is the call graph for this function:

Here is the caller graph for this function:

bool isBoxIProd	(	Tree	t,
		Tree &	x,
		Tree &	y,
		Tree &	z
	)

Definition at line 172 of file boxes.cpp.

References isTree().

Referenced by preparePattern(), boxpp::print(), and realeval().

{ return isTree(t, BOXIPROD, x, y, z);   }

Here is the call graph for this function:

Here is the caller graph for this function:

bool isBoxISeq	(	Tree	t,
		Tree &	x,
		Tree &	y,
		Tree &	z
	)

Definition at line 170 of file boxes.cpp.

References isTree().

Referenced by preparePattern(), boxpp::print(), and realeval().

{ return isTree(t, BOXISEQ,  x, y, z);   }

Here is the call graph for this function:

Here is the caller graph for this function:

bool isBoxISum	(	Tree	t,
		Tree &	x,
		Tree &	y,
		Tree &	z
	)

Definition at line 171 of file boxes.cpp.

References isTree().

Referenced by preparePattern(), boxpp::print(), and realeval().

{ return isTree(t, BOXISUM,  x, y, z);   }

Here is the call graph for this function:

Here is the caller graph for this function:

bool isBoxLibrary	(	Tree	s,
		Tree &	filename
	)

Definition at line 295 of file boxes.cpp.

References isTree().

Referenced by realeval().

{ return isTree(s, BOXLIBRARY, filename); }

Here is the call graph for this function:

Here is the caller graph for this function:

bool isBoxMerge	(	Tree	t,
		Tree &	x,
		Tree &	y
	)

Definition at line 152 of file boxes.cpp.

References isTree().

Referenced by computeBoxComplexity(), generateInsideSchema(), infereBoxType(), insideBoxSimplification(), isBoxPatternOp(), isPureRouting(), preparePattern(), boxpp::print(), realeval(), and realPropagate().

{ return isTree(t, BOXMERGE, x, y); }

Here is the call graph for this function:

Here is the caller graph for this function:

bool isBoxModifLocalDef	(	Tree	t,
		Tree &	body,
		Tree &	ldef
	)

Definition at line 275 of file boxes.cpp.

References isTree().

Referenced by realeval().

{ return isTree(t, BOXMODIFLOCALDEF, body, ldef); }

Here is the call graph for this function:

Here is the caller graph for this function:

bool isBoxNumEntry

(

Tree

s

)

Definition at line 418 of file boxes.cpp.

References isTree().

Referenced by computeBoxComplexity(), generateInsideSchema(), infereBoxType(), insideBoxSimplification(), preparePattern(), boxpp::print(), realeval(), realPropagate(), and UserInterfaceDescription().

{ Tree lbl, params; return isTree(s, BOXNUMENTRY, lbl, params); }

Here is the call graph for this function:

Here is the caller graph for this function:

bool isBoxNumEntry	(	Tree	s,
		Tree &	label,
		Tree &	cur,
		Tree &	min,
		Tree &	max,
		Tree &	step
	)

Definition at line 420 of file boxes.cpp.

References isTree(), and nth().

{
    Tree params;
    if (isTree(s, BOXNUMENTRY, lbl, params)) {
        cur = nth(params, 0);
        min = nth(params, 1);
        max = nth(params, 2);
        step= nth(params, 3);
        return true;
    } else {
        return false;
    }
}

Here is the call graph for this function:

bool isBoxOutputs	(	Tree	t,
		Tree &	x
	)

Definition at line 186 of file boxes.cpp.

References isTree().

Referenced by preparePattern(), boxpp::print(), and realeval().

{ return isTree(t, BOXOUTPUTS, x);  }

Here is the call graph for this function:

Here is the caller graph for this function:

bool isBoxPar	(	Tree	t,
		Tree &	x,
		Tree &	y
	)

Definition at line 140 of file boxes.cpp.

References isTree().

Referenced by computeBoxComplexity(), generateInsideSchema(), infereBoxType(), insideBoxSimplification(), isBoxPatternOp(), isPureRouting(), preparePattern(), boxpp::print(), realeval(), and realPropagate().

{ return isTree(t, BOXPAR, x, y);   }

Here is the call graph for this function:

Here is the caller graph for this function:

bool isBoxPatternMatcher

(

Tree

s

)

Definition at line 630 of file boxes.cpp.

References isTree().

Referenced by applyList(), boxpp::print(), real_a2sb(), and realeval().

{
    Tree ta, ts, env, orig, rpl;
    return isTree(s, BOXPATMATCHER, ta, ts, env, orig, rpl);
}

Here is the call graph for this function:

Here is the caller graph for this function:

bool isBoxPatternMatcher	(	Tree	s,
		Automaton *&	a,
		int &	state,
		Tree &	env,
		Tree &	origRules,
		Tree &	revParamList
	)

Definition at line 636 of file boxes.cpp.

References isTree(), tree2int(), and tree2ptr().

{
    Tree ta, ts;
    if (isTree(s, BOXPATMATCHER, ta, ts, env, origRules, revParamList)) {
        a = (Automaton*)tree2ptr(ta);
        state = tree2int(ts);
        return true;
    } else {
        return false;
    }
}

Here is the call graph for this function:

bool isBoxPatternVar	(	Tree	s,
		Tree &	id
	)

Definition at line 622 of file boxes.cpp.

References isTree().

Referenced by infereBoxType(), make_state(), preparePattern(), boxpp::print(), and realeval().

{ return isTree(s, BOXPATVAR, id);              }

Here is the call graph for this function:

Here is the caller graph for this function:

bool isBoxPrim0

(

Tree

s

)

Definition at line 310 of file boxes.cpp.

References isTree().

Referenced by computeBoxComplexity(), generateInsideSchema(), infereBoxType(), insideBoxSimplification(), preparePattern(), boxpp::print(), realeval(), and realPropagate().

{ Tree t; return isTree(s, BOXPRIM0, t);    }

Here is the call graph for this function:

Here is the caller graph for this function:

bool isBoxPrim0	(	Tree	s,
		prim0 *	p
	)

Definition at line 311 of file boxes.cpp.

References isPointer(), isTree(), and CTree::node().

{ Tree t; return isTree(s, BOXPRIM0, t) && isPointer(t->node(),(void**)p);  }

Here is the call graph for this function:

bool isBoxPrim1

(

Tree

s

)

Definition at line 315 of file boxes.cpp.

References isTree().

Referenced by computeBoxComplexity(), generateInsideSchema(), infereBoxType(), insideBoxSimplification(), preparePattern(), boxpp::print(), realeval(), and realPropagate().

{ Tree t; return isTree(s, BOXPRIM1, t);    }

Here is the call graph for this function:

Here is the caller graph for this function:

bool isBoxPrim1	(	Tree	s,
		prim1 *	p
	)

Definition at line 316 of file boxes.cpp.

References isPointer(), isTree(), and CTree::node().

{ Tree t; return isTree(s, BOXPRIM1, t) && isPointer(t->node(),(void**)p);  }

Here is the call graph for this function:

bool isBoxPrim2

(

Tree

s

)

Definition at line 320 of file boxes.cpp.

References isTree().

Referenced by applyList(), computeBoxComplexity(), generateInsideSchema(), infereBoxType(), insideBoxSimplification(), preparePattern(), boxpp::print(), realeval(), and realPropagate().

{ Tree t; return isTree(s, BOXPRIM2, t);    }

Here is the call graph for this function:

Here is the caller graph for this function:

bool isBoxPrim2	(	Tree	s,
		prim2 *	p
	)

Definition at line 321 of file boxes.cpp.

References isPointer(), isTree(), and CTree::node().

{ Tree t; return isTree(s, BOXPRIM2, t) && isPointer(t->node(),(void**)p);  }

Here is the call graph for this function:

bool isBoxPrim3

(

Tree

s

)

Definition at line 325 of file boxes.cpp.

References isTree().

Referenced by computeBoxComplexity(), generateInsideSchema(), infereBoxType(), insideBoxSimplification(), preparePattern(), boxpp::print(), realeval(), and realPropagate().

{ Tree t; return isTree(s, BOXPRIM3, t);    }

Here is the call graph for this function:

Here is the caller graph for this function:

bool isBoxPrim3	(	Tree	s,
		prim3 *	p
	)

Definition at line 326 of file boxes.cpp.

References isPointer(), isTree(), and CTree::node().

{ Tree t; return isTree(s, BOXPRIM3, t) && isPointer(t->node(),(void**)p);  }

Here is the call graph for this function:

bool isBoxPrim4

(

Tree

s

)

Definition at line 330 of file boxes.cpp.

References isTree().

Referenced by computeBoxComplexity(), generateInsideSchema(), infereBoxType(), insideBoxSimplification(), preparePattern(), boxpp::print(), realeval(), and realPropagate().

{ Tree t; return isTree(s, BOXPRIM4, t);    }

Here is the call graph for this function:

Here is the caller graph for this function:

bool isBoxPrim4	(	Tree	s,
		prim4 *	p
	)

Definition at line 331 of file boxes.cpp.

References isPointer(), isTree(), and CTree::node().

{ Tree t; return isTree(s, BOXPRIM4, t) && isPointer(t->node(),(void**)p);  }

Here is the call graph for this function:

bool isBoxPrim5

(

Tree

s

)

Definition at line 335 of file boxes.cpp.

References isTree().

Referenced by computeBoxComplexity(), generateInsideSchema(), infereBoxType(), insideBoxSimplification(), preparePattern(), boxpp::print(), realeval(), and realPropagate().

{ Tree t; return isTree(s, BOXPRIM5, t);    }

Here is the call graph for this function:

Here is the caller graph for this function:

bool isBoxPrim5	(	Tree	s,
		prim5 *	p
	)

Definition at line 336 of file boxes.cpp.

References isPointer(), isTree(), and CTree::node().

{ Tree t; return isTree(s, BOXPRIM5, t) && isPointer(t->node(),(void**)p);  }

Here is the call graph for this function:

bool isBoxReal

(

Tree

t

)

Definition at line 79 of file boxes.cpp.

References isDouble(), and CTree::node().

Referenced by Automaton::build(), computeBoxComplexity(), generateInsideSchema(), infereBoxType(), insideBoxSimplification(), isBoxNumeric(), numericBoxSimplification(), preparePattern(), boxpp::print(), realeval(), and realPropagate().

{ return isDouble(t->node()); }

Here is the call graph for this function:

Here is the caller graph for this function:

bool isBoxReal	(	Tree	t,
		double *	r
	)

Definition at line 82 of file boxes.cpp.

References isDouble(), and CTree::node().

{ return isDouble(t->node(), r); }

Here is the call graph for this function:

bool isBoxRec	(	Tree	t,
		Tree &	x,
		Tree &	y
	)

Definition at line 144 of file boxes.cpp.

References isTree().

Referenced by computeBoxComplexity(), generateInsideSchema(), infereBoxType(), insideBoxSimplification(), isBoxPatternOp(), preparePattern(), boxpp::print(), realeval(), and realPropagate().

{ return isTree(t, BOXREC, x, y);   }

Here is the call graph for this function:

Here is the caller graph for this function:

bool isBoxSeq	(	Tree	t,
		Tree &	x,
		Tree &	y
	)

Definition at line 136 of file boxes.cpp.

References isTree().

Referenced by computeBoxComplexity(), generateInsideSchema(), infereBoxType(), insideBoxSimplification(), isBoxPatternOp(), isPureRouting(), preparePattern(), boxpp::print(), realeval(), and realPropagate().

{ return isTree(t, BOXSEQ, x, y);   }

Here is the call graph for this function:

Here is the caller graph for this function:

bool isBoxSlot

(

Tree

t

)

Definition at line 119 of file boxes.cpp.

References isTree().

Referenced by computeBoxComplexity(), generateInsideSchema(), infereBoxType(), insideBoxSimplification(), isPureRouting(), preparePattern(), boxpp::print(), realeval(), and realPropagate().

{ Tree w; return isTree(t, BOXSLOT,w); }

Here is the call graph for this function:

Here is the caller graph for this function:

bool isBoxSlot	(	Tree	t,
		int *	id
	)

Definition at line 120 of file boxes.cpp.

References isInt(), isTree(), and CTree::node().

{ Tree w; return isTree(t, BOXSLOT,w) && isInt(w->node(),id); }

Here is the call graph for this function:

bool isBoxSplit	(	Tree	t,
		Tree &	x,
		Tree &	y
	)

Definition at line 148 of file boxes.cpp.

References isTree().

Referenced by computeBoxComplexity(), generateInsideSchema(), infereBoxType(), insideBoxSimplification(), isBoxPatternOp(), isPureRouting(), preparePattern(), boxpp::print(), realeval(), and realPropagate().

{ return isTree(t, BOXSPLIT, x, y); }

Here is the call graph for this function:

Here is the caller graph for this function:

bool isBoxSymbolic

(

Tree

t

)

Definition at line 126 of file boxes.cpp.

References isTree().

Referenced by computeBoxComplexity(), generateAbstractionSchema(), generateInsideSchema(), infereBoxType(), insideBoxSimplification(), preparePattern(), boxpp::print(), realeval(), and realPropagate().

{ Tree slot, body; return isTree(t, BOXSYMBOLIC, slot, body); }

Here is the call graph for this function:

Here is the caller graph for this function:

bool isBoxSymbolic	(	Tree	t,
		Tree &	slot,
		Tree &	body
	)

Definition at line 127 of file boxes.cpp.

References isTree().

{ return isTree(t, BOXSYMBOLIC, slot, body); }

Here is the call graph for this function:

bool isBoxTGroup

(

Tree

s

)

Definition at line 449 of file boxes.cpp.

References isTree().

Referenced by computeBoxComplexity(), generateInsideSchema(), infereBoxType(), insideBoxSimplification(), isBoxPatternOp(), preparePattern(), boxpp::print(), realeval(), realPropagate(), and UserInterfaceDescription().

{ Tree lbl, x; return isTree(s, BOXTGROUP, lbl, x); }

Here is the call graph for this function:

Here is the caller graph for this function:

bool isBoxTGroup	(	Tree	s,
		Tree &	label,
		Tree &	x
	)

Definition at line 450 of file boxes.cpp.

References isTree().

{ return isTree(s, BOXTGROUP, lbl, x);              }

Here is the call graph for this function:

bool isBoxVBargraph

(

Tree

s

)

Definition at line 461 of file boxes.cpp.

References isTree(), max(), and min().

Referenced by computeBoxComplexity(), generateInsideSchema(), infereBoxType(), insideBoxSimplification(), preparePattern(), boxpp::print(), realeval(), realPropagate(), and UserInterfaceDescription().

{ Tree lbl, min, max; return isTree(s, BOXVBARGRAPH, lbl, min, max);    }

Here is the call graph for this function:

Here is the caller graph for this function:

bool isBoxVBargraph	(	Tree	s,
		Tree &	label,
		Tree &	min,
		Tree &	max
	)

Definition at line 462 of file boxes.cpp.

References isTree().

{ return isTree(s, BOXVBARGRAPH, lbl, min, max); }

Here is the call graph for this function:

bool isBoxVGroup

(

Tree

s

)

Definition at line 443 of file boxes.cpp.

References isTree().

Referenced by computeBoxComplexity(), generateInsideSchema(), infereBoxType(), insideBoxSimplification(), isBoxPatternOp(), preparePattern(), boxpp::print(), realeval(), realPropagate(), and UserInterfaceDescription().

{ Tree lbl, x; return isTree(s, BOXVGROUP, lbl, x); }

Here is the call graph for this function:

Here is the caller graph for this function:

bool isBoxVGroup	(	Tree	s,
		Tree &	label,
		Tree &	x
	)

Definition at line 444 of file boxes.cpp.

References isTree().

{ return isTree(s, BOXVGROUP, lbl, x);              }

Here is the call graph for this function:

bool isBoxVSlider

(

Tree

s

)

Definition at line 399 of file boxes.cpp.

References isTree().

Referenced by computeBoxComplexity(), generateInsideSchema(), infereBoxType(), insideBoxSimplification(), preparePattern(), boxpp::print(), realeval(), realPropagate(), and UserInterfaceDescription().

{ Tree lbl, params; return isTree(s, BOXVSLIDER, lbl, params);  }

Here is the call graph for this function:

Here is the caller graph for this function:

bool isBoxVSlider	(	Tree	s,
		Tree &	label,
		Tree &	cur,
		Tree &	min,
		Tree &	max,
		Tree &	step
	)

Definition at line 401 of file boxes.cpp.

References isTree(), and nth().

{
    Tree params;
    if (isTree(s, BOXVSLIDER, lbl, params)) {
        cur = nth(params, 0);
        min = nth(params, 1);
        max = nth(params, 2);
        step= nth(params, 3);
        return true;
    } else {
        return false;
    }
}

Here is the call graph for this function:

bool isBoxWaveform

(

Tree

t

)

Definition at line 97 of file boxes.cpp.

References isTree().

Referenced by computeBoxComplexity(), generateInsideSchema(), infereBoxType(), preparePattern(), boxpp::print(), real_a2sb(), realeval(), and realPropagate().

{ return isTree(s, BOXWAVEFORM); }

Here is the call graph for this function:

Here is the caller graph for this function:

bool isBoxWire

(

Tree

t

)

Definition at line 109 of file boxes.cpp.

References isTree().

Referenced by computeBoxComplexity(), generateInsideSchema(), infereBoxType(), insideBoxSimplification(), isPureRouting(), preparePattern(), boxpp::print(), realeval(), and realPropagate().

{ return isTree(t, BOXWIRE); }

Here is the call graph for this function:

Here is the caller graph for this function:

bool isBoxWithLocalDef	(	Tree	t,
		Tree &	body,
		Tree &	ldef
	)

Definition at line 265 of file boxes.cpp.

References isTree().

Referenced by preparePattern(), boxpp::print(), and realeval().

{ return isTree(t, BOXWITHLOCALDEF, body, ldef); }

Here is the call graph for this function:

Here is the caller graph for this function:

bool isClosure	(	Tree	t,
		Tree &	abstr,
		Tree &	genv,
		Tree &	vis,
		Tree &	lenv
	)

Definition at line 239 of file boxes.cpp.

References isTree().

Referenced by applyList(), boxpp::print(), real_a2sb(), realeval(), and updateClosures().

{
    return isTree(t, CLOSURE, abstr, genv, vis, lenv);
}

Here is the call graph for this function:

Here is the caller graph for this function:

bool isImportFile	(	Tree	s,
		Tree &	filename
	)

Definition at line 301 of file boxes.cpp.

References isTree().

Referenced by SourceReader::expandrec(), formatDefinitions(), and boxpp::print().

{ return isTree(s, IMPORTFILE, filename); }

Here is the call graph for this function:

Here is the caller graph for this function: