[splint.git] / src / Headers / quantifierNode.h

/*
** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003.
** See ../LICENSE for license information.
**
*/

typedef struct {
  ltoken quant;
  varNodeList vars;
  bool isForall;
} *quantifierNode;

extern quantifierNode quantifierNode_copy (quantifierNode p_x);
extern void quantifierNode_free (/*@null@*/ /*@only@*/ quantifierNode p_x);
Commit	Line	Data
885824d3	1	/*
c0de361f	2	** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003.
885824d3	3	** See ../LICENSE for license information.
	4	**
	5	*/
	6
28bf4b0b	7	typedef struct {
885824d3	8	ltoken quant;
	9	varNodeList vars;
	10	bool isForall;
	11	} *quantifierNode;
	12
	13	extern quantifierNode quantifierNode_copy (quantifierNode p_x);
	14	extern void quantifierNode_free (/@null@/ /@only@/ quantifierNode p_x);