src/Headers/lclPredicateNode.h

   1 /*
   2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
   3 ** See ../LICENSE for license information.
   4 **
   5 */
   6
   7 typedef enum
   8 {
   9   LPD_PLAIN, LPD_CHECKS, LPD_REQUIRES, LPD_ENSURES,
  10   LPD_INTRACLAIM, LPD_CONSTRAINT, LPD_INITIALLY
  11 } lclPredicateKind;
  12
  13 struct s_lclPredicateNode {
  14   ltoken tok; /* for debugging */
  15   lclPredicateKind kind;
  16   termNode predicate;
  17 } ;
  18
  19