ptree_t Struct Reference

Parse tree nodes. More...

#include <ptree.h>

Data Fields
struct ptree_t *	left
char *	name
	Name of the variable, if applicable.
struct ptree_t *	right
int	type
	Consult table of parse tree node types.
int	value
	Value of a constant, or domain of a variable. More...

Detailed Description

Parse tree nodes.

Field Documentation

int ptree_t::value

Value of a constant, or domain of a variable.

For constants (type = PT_CONSTANT) describing valuations of a Boolean variable, value of 0 means "false", and 1 "true".

For constants (type = PT_CONSTANT) describing valuations of an integer variable, value has the obvious meaning.

For variables (type is one of PT_VARIABLE, PT_NEXT_VARIABLE), value indicates the domain as follows.

• if value = -1, then variable is of type Boolean.
• if value >= 0, then variable is of type integer and may take values in the interval [0,value].

---

The documentation for this struct was generated from the following file:

• ptree.h