src/Headers/quantifierNode.h

   1 /*
   2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2000.
   3 ** See ../LICENSE for license information.
   4 **
   5 */
   6
   7 typedef struct _quantifierNode {
   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);