src/Headers/lclPredicateNode.h

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

typedef enum
{
  LPD_PLAIN, LPD_CHECKS, LPD_REQUIRES, LPD_ENSURES,
  LPD_INTRACLAIM, LPD_CONSTRAINT, LPD_INITIALLY
} lclPredicateKind;

struct s_lclPredicateNode {
  ltoken tok; /* for debugging */
  lclPredicateKind kind;
  termNode predicate;
} ;
Commit	Line	Data
	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