This graph shows which files directly or indirectly include this file:

Data Structures
struct	_newgen_struct_atom_

struct	_newgen_struct_chain_

struct	_newgen_struct_data_

struct	_newgen_struct_dataval_

struct	_newgen_struct_datavar_

struct	_newgen_struct_equivalences_

Macros
#define	_gen_parser_private_start 108

#define	_newgen_entity_domain_defined_

#define	ENTITY_NEWGEN_DOMAIN (entity_domain)

#define	entity_NEWGEN_DOMAIN (entity_domain)

#define	_newgen_constant_domain_defined_
	newgen_entity_domain_defined More...

#define	CONSTANT_NEWGEN_DOMAIN (constant_domain)

#define	constant_NEWGEN_DOMAIN (constant_domain)

#define	atom_domain (_gen_parser_private_start+0)
	newgen_constant_domain_defined More...

#define	_newgen_atom_domain_defined_

#define	ATOM_NEWGEN_DOMAIN (atom_domain)

#define	atom_NEWGEN_DOMAIN (atom_domain)

#define	chain_domain (_gen_parser_private_start+1)
	newgen_atom_domain_defined More...

#define	_newgen_chain_domain_defined_

#define	CHAIN_NEWGEN_DOMAIN (chain_domain)

#define	chain_NEWGEN_DOMAIN (chain_domain)

#define	data_domain (_gen_parser_private_start+2)
	newgen_chain_domain_defined More...

#define	_newgen_data_domain_defined_

#define	DATA_NEWGEN_DOMAIN (data_domain)

#define	data_NEWGEN_DOMAIN (data_domain)

#define	dataval_domain (_gen_parser_private_start+3)
	newgen_data_domain_defined More...

#define	_newgen_dataval_domain_defined_

#define	DATAVAL_NEWGEN_DOMAIN (dataval_domain)

#define	dataval_NEWGEN_DOMAIN (dataval_domain)

#define	datavar_domain (_gen_parser_private_start+4)
	newgen_dataval_domain_defined More...

#define	_newgen_datavar_domain_defined_

#define	DATAVAR_NEWGEN_DOMAIN (datavar_domain)

#define	datavar_NEWGEN_DOMAIN (datavar_domain)

#define	equivalences_domain (_gen_parser_private_start+5)
	newgen_datavar_domain_defined More...

#define	_newgen_equivalences_domain_defined_

#define	EQUIVALENCES_NEWGEN_DOMAIN (equivalences_domain)

#define	equivalences_NEWGEN_DOMAIN (equivalences_domain)

#define	ATOM(x) ((atom)((x).p))
	newgen_equivalences_domain_defined More...

#define	atom_CAST(x) ATOM(x)

#define	ATOM_CAST(x) ATOM(x)

#define	ATOM_(x) ((x).e)

#define	ATOM_TYPE atom

#define	atom_TYPE atom

#define	atom_undefined ((atom)gen_chunk_undefined)

#define	atom_undefined_p(x) ((x)==atom_undefined)

#define	gen_ATOM_cons gen_atom_cons

#define	atom_domain_number(x) ((x)->_type_)

#define	atom_equivar_(x) atom_equivar(x) /*old hack compatible /

#define	atom_equivar(x) ((x)->_atom_equivar_)

#define	atom_equioff_(x) atom_equioff(x) /*old hack compatible /

#define	atom_equioff(x) ((x)->_atom_equioff_)

#define	CHAIN(x) ((chain)((x).p))
	CHAIN. More...

#define	chain_CAST(x) CHAIN(x)

#define	CHAIN_CAST(x) CHAIN(x)

#define	CHAIN_(x) ((x).e)

#define	CHAIN_TYPE chain

#define	chain_TYPE chain

#define	chain_undefined ((chain)gen_chunk_undefined)

#define	chain_undefined_p(x) ((x)==chain_undefined)

#define	gen_CHAIN_cons gen_chain_cons

#define	chain_domain_number(x) ((x)->_type_)

#define	chain_atoms(x) ((x)->_chain_holder_)

#define	DATA(x) ((data)((x).p))
	DATA. More...

#define	data_CAST(x) DATA(x)

#define	DATA_CAST(x) DATA(x)

#define	DATA_(x) ((x).e)

#define	DATA_TYPE data

#define	data_TYPE data

#define	data_undefined ((data)gen_chunk_undefined)

#define	data_undefined_p(x) ((x)==data_undefined)

#define	gen_DATA_cons gen_data_cons

#define	data_domain_number(x) ((x)->_type_)

#define	data_datavars_(x) data_datavars(x) /*old hack compatible /

#define	data_datavars(x) ((x)->_data_datavars_)

#define	data_datavals_(x) data_datavals(x) /*old hack compatible /

#define	data_datavals(x) ((x)->_data_datavals_)

#define	DATAVAL(x) ((dataval)((x).p))
	DATAVAL. More...

#define	dataval_CAST(x) DATAVAL(x)

#define	DATAVAL_CAST(x) DATAVAL(x)

#define	DATAVAL_(x) ((x).e)

#define	DATAVAL_TYPE dataval

#define	dataval_TYPE dataval

#define	dataval_undefined ((dataval)gen_chunk_undefined)

#define	dataval_undefined_p(x) ((x)==dataval_undefined)

#define	gen_DATAVAL_cons gen_dataval_cons

#define	dataval_domain_number(x) ((x)->_type_)

#define	dataval_constant_(x) dataval_constant(x) /*old hack compatible /

#define	dataval_constant(x) ((x)->_dataval_constant_)

#define	dataval_nboccurrences_(x) dataval_nboccurrences(x) /*old hack compatible /

#define	dataval_nboccurrences(x) ((x)->_dataval_nboccurrences_)

#define	DATAVAR(x) ((datavar)((x).p))
	DATAVAR. More...

#define	datavar_CAST(x) DATAVAR(x)

#define	DATAVAR_CAST(x) DATAVAR(x)

#define	DATAVAR_(x) ((x).e)

#define	DATAVAR_TYPE datavar

#define	datavar_TYPE datavar

#define	datavar_undefined ((datavar)gen_chunk_undefined)

#define	datavar_undefined_p(x) ((x)==datavar_undefined)

#define	gen_DATAVAR_cons gen_datavar_cons

#define	datavar_domain_number(x) ((x)->_type_)

#define	datavar_variable_(x) datavar_variable(x) /*old hack compatible /

#define	datavar_variable(x) ((x)->_datavar_variable_)

#define	datavar_nbelements_(x) datavar_nbelements(x) /*old hack compatible /

#define	datavar_nbelements(x) ((x)->_datavar_nbelements_)

#define	EQUIVALENCES(x) ((equivalences)((x).p))
	EQUIVALENCES. More...

#define	equivalences_CAST(x) EQUIVALENCES(x)

#define	EQUIVALENCES_CAST(x) EQUIVALENCES(x)

#define	EQUIVALENCES_(x) ((x).e)

#define	EQUIVALENCES_TYPE equivalences

#define	equivalences_TYPE equivalences

#define	equivalences_undefined ((equivalences)gen_chunk_undefined)

#define	equivalences_undefined_p(x) ((x)==equivalences_undefined)

#define	gen_EQUIVALENCES_cons gen_equivalences_cons

#define	equivalences_domain_number(x) ((x)->_type_)

#define	equivalences_chains(x) ((x)->_equivalences_holder_)

#define	parser_private_spec "\--NEWGEN-START 108\n\import entity from \"ri.newgen\";\n\import constant from \"ri.newgen\";\n\atom = equivar:entity x equioff:int;\n\chain = atoms:atom;\n\data = datavars:datavar x datavals:dataval;\n\dataval = constant:constant x nboccurrences:int;\n\datavar = variable:entity x nbelements:int;\n\equivalences = chains:chain;\n\"

Typedefs
typedef struct _newgen_struct_entity_ *	entity

typedef struct _newgen_struct_constant_ *	constant

typedef struct _newgen_struct_atom_ *	atom

typedef struct _newgen_struct_chain_ *	chain

typedef struct _newgen_struct_data_ *	data

typedef struct _newgen_struct_dataval_ *	dataval

typedef struct _newgen_struct_datavar_ *	datavar

typedef struct _newgen_struct_equivalences_ *	equivalences

Functions
atom	copy_atom (atom)
	ATOM. More...

void	free_atom (atom)

atom	check_atom (atom)

bool	atom_consistent_p (atom)

bool	atom_defined_p (atom)

list	gen_atom_cons (atom, list)

void	atom_assign_contents (atom, atom)

void	atom_non_recursive_free (atom)

void	write_atom (FILE *, atom)

atom	read_atom (FILE *)

atom	make_atom (entity, intptr_t)

chain	copy_chain (chain)
	CHAIN. More...

void	free_chain (chain)

chain	check_chain (chain)

bool	chain_consistent_p (chain)

bool	chain_defined_p (chain)

list	gen_chain_cons (chain, list)

void	chain_assign_contents (chain, chain)

void	chain_non_recursive_free (chain)

void	write_chain (FILE *, chain)

chain	read_chain (FILE *)

chain	make_chain (list)

data	copy_data (data)
	DATA. More...

void	free_data (data)

data	check_data (data)

bool	data_consistent_p (data)

bool	data_defined_p (data)

list	gen_data_cons (data, list)

void	data_assign_contents (data, data)

void	data_non_recursive_free (data)

void	write_data (FILE *, data)

data	read_data (FILE *)

data	make_data (list, list)

dataval	copy_dataval (dataval)
	DATAVAL. More...

void	free_dataval (dataval)

dataval	check_dataval (dataval)

bool	dataval_consistent_p (dataval)

bool	dataval_defined_p (dataval)

list	gen_dataval_cons (dataval, list)

void	dataval_assign_contents (dataval, dataval)

void	dataval_non_recursive_free (dataval)

void	write_dataval (FILE *, dataval)

dataval	read_dataval (FILE *)

dataval	make_dataval (constant, intptr_t)

datavar	copy_datavar (datavar)
	DATAVAR. More...

void	free_datavar (datavar)

datavar	check_datavar (datavar)

bool	datavar_consistent_p (datavar)

bool	datavar_defined_p (datavar)

list	gen_datavar_cons (datavar, list)

void	datavar_assign_contents (datavar, datavar)

void	datavar_non_recursive_free (datavar)

void	write_datavar (FILE *, datavar)

datavar	read_datavar (FILE *)

datavar	make_datavar (entity, intptr_t)

equivalences	copy_equivalences (equivalences)
	EQUIVALENCES. More...

void	free_equivalences (equivalences)

equivalences	check_equivalences (equivalences)

bool	equivalences_consistent_p (equivalences)

bool	equivalences_defined_p (equivalences)

list	gen_equivalences_cons (equivalences, list)

void	equivalences_assign_contents (equivalences, equivalences)

void	equivalences_non_recursive_free (equivalences)

void	write_equivalences (FILE *, equivalences)

equivalences	read_equivalences (FILE *)

equivalences	make_equivalences (list)

Macro Definition Documentation

◆ _gen_parser_private_start

#define _gen_parser_private_start 108

Definition at line 3 of file parser_private.h.

◆ _newgen_atom_domain_defined_

#define _newgen_atom_domain_defined_

Definition at line 26 of file parser_private.h.

◆ _newgen_chain_domain_defined_

#define _newgen_chain_domain_defined_

Definition at line 34 of file parser_private.h.

◆ _newgen_constant_domain_defined_

#define _newgen_constant_domain_defined_

newgen_entity_domain_defined

Definition at line 18 of file parser_private.h.

◆ _newgen_data_domain_defined_

#define _newgen_data_domain_defined_

Definition at line 42 of file parser_private.h.

◆ _newgen_dataval_domain_defined_

#define _newgen_dataval_domain_defined_

Definition at line 50 of file parser_private.h.

◆ _newgen_datavar_domain_defined_

#define _newgen_datavar_domain_defined_

Definition at line 58 of file parser_private.h.

◆ _newgen_entity_domain_defined_

#define _newgen_entity_domain_defined_

Definition at line 11 of file parser_private.h.

◆ _newgen_equivalences_domain_defined_

#define _newgen_equivalences_domain_defined_

Definition at line 66 of file parser_private.h.

◆ ATOM

#define ATOM ( x ) ((atom)((x).p))

newgen_equivalences_domain_defined

ATOM

Definition at line 74 of file parser_private.h.

◆ ATOM_

#define ATOM_ ( x ) ((x).e)

Definition at line 77 of file parser_private.h.

◆ atom_CAST

#define atom_CAST ( x ) ATOM(x)

Definition at line 75 of file parser_private.h.

◆ ATOM_CAST

#define ATOM_CAST ( x ) ATOM(x)

Definition at line 76 of file parser_private.h.

◆ atom_domain

#define atom_domain (_gen_parser_private_start+0)

newgen_constant_domain_defined

Definition at line 24 of file parser_private.h.

◆ atom_domain_number

#define atom_domain_number ( x ) ((x)->_type_)

Definition at line 102 of file parser_private.h.

◆ atom_equioff

#define atom_equioff ( x ) ((x)->_atom_equioff_)

Definition at line 106 of file parser_private.h.

◆ atom_equioff_

#define atom_equioff_ ( x ) atom_equioff(x) /**old hack compatible */

Definition at line 105 of file parser_private.h.

◆ atom_equivar

#define atom_equivar ( x ) ((x)->_atom_equivar_)

Definition at line 104 of file parser_private.h.

◆ atom_equivar_

#define atom_equivar_ ( x ) atom_equivar(x) /**old hack compatible */

Definition at line 103 of file parser_private.h.

◆ ATOM_NEWGEN_DOMAIN

#define ATOM_NEWGEN_DOMAIN (atom_domain)

Definition at line 27 of file parser_private.h.

◆ atom_NEWGEN_DOMAIN

#define atom_NEWGEN_DOMAIN (atom_domain)

Definition at line 28 of file parser_private.h.

◆ ATOM_TYPE

#define ATOM_TYPE atom

Definition at line 78 of file parser_private.h.

◆ atom_TYPE

#define atom_TYPE atom

Definition at line 79 of file parser_private.h.

◆ atom_undefined

#define atom_undefined ((atom)gen_chunk_undefined)

Definition at line 80 of file parser_private.h.

◆ atom_undefined_p

#define atom_undefined_p ( x ) ((x)==atom_undefined)

Definition at line 81 of file parser_private.h.

◆ CHAIN

#define CHAIN ( x ) ((chain)((x).p))

CHAIN.

Definition at line 110 of file parser_private.h.

◆ CHAIN_

#define CHAIN_ ( x ) ((x).e)

Definition at line 113 of file parser_private.h.

◆ chain_atoms

#define chain_atoms ( x ) ((x)->_chain_holder_)

Definition at line 138 of file parser_private.h.

◆ chain_CAST

#define chain_CAST ( x ) CHAIN(x)

Definition at line 111 of file parser_private.h.

◆ CHAIN_CAST

#define CHAIN_CAST ( x ) CHAIN(x)

Definition at line 112 of file parser_private.h.

◆ chain_domain

#define chain_domain (_gen_parser_private_start+1)

newgen_atom_domain_defined

Definition at line 32 of file parser_private.h.

◆ chain_domain_number

#define chain_domain_number ( x ) ((x)->_type_)

Definition at line 137 of file parser_private.h.

◆ CHAIN_NEWGEN_DOMAIN

#define CHAIN_NEWGEN_DOMAIN (chain_domain)

Definition at line 35 of file parser_private.h.

◆ chain_NEWGEN_DOMAIN

#define chain_NEWGEN_DOMAIN (chain_domain)

Definition at line 36 of file parser_private.h.

◆ CHAIN_TYPE

#define CHAIN_TYPE chain

Definition at line 114 of file parser_private.h.

◆ chain_TYPE

#define chain_TYPE chain

Definition at line 115 of file parser_private.h.

◆ chain_undefined

#define chain_undefined ((chain)gen_chunk_undefined)

Definition at line 116 of file parser_private.h.

◆ chain_undefined_p

#define chain_undefined_p ( x ) ((x)==chain_undefined)

Definition at line 117 of file parser_private.h.

◆ CONSTANT_NEWGEN_DOMAIN

#define CONSTANT_NEWGEN_DOMAIN (constant_domain)

Definition at line 19 of file parser_private.h.

◆ constant_NEWGEN_DOMAIN

#define constant_NEWGEN_DOMAIN (constant_domain)

Definition at line 20 of file parser_private.h.

◆ DATA

#define DATA ( x ) ((data)((x).p))

DATA.

Definition at line 142 of file parser_private.h.

◆ DATA_

#define DATA_ ( x ) ((x).e)

Definition at line 145 of file parser_private.h.

◆ data_CAST

#define data_CAST ( x ) DATA(x)

Definition at line 143 of file parser_private.h.

◆ DATA_CAST

#define DATA_CAST ( x ) DATA(x)

Definition at line 144 of file parser_private.h.

◆ data_datavals

#define data_datavals ( x ) ((x)->_data_datavals_)

Definition at line 174 of file parser_private.h.

◆ data_datavals_

#define data_datavals_ ( x ) data_datavals(x) /**old hack compatible */

Definition at line 173 of file parser_private.h.

◆ data_datavars

#define data_datavars ( x ) ((x)->_data_datavars_)

Definition at line 172 of file parser_private.h.

◆ data_datavars_

#define data_datavars_ ( x ) data_datavars(x) /**old hack compatible */

Definition at line 171 of file parser_private.h.

◆ data_domain

#define data_domain (_gen_parser_private_start+2)

newgen_chain_domain_defined

Definition at line 40 of file parser_private.h.

◆ data_domain_number

#define data_domain_number ( x ) ((x)->_type_)

Definition at line 170 of file parser_private.h.

◆ DATA_NEWGEN_DOMAIN

#define DATA_NEWGEN_DOMAIN (data_domain)

Definition at line 43 of file parser_private.h.

◆ data_NEWGEN_DOMAIN

#define data_NEWGEN_DOMAIN (data_domain)

Definition at line 44 of file parser_private.h.

◆ DATA_TYPE

#define DATA_TYPE data

Definition at line 146 of file parser_private.h.

◆ data_TYPE

#define data_TYPE data

Definition at line 147 of file parser_private.h.

◆ data_undefined

#define data_undefined ((data)gen_chunk_undefined)

Definition at line 148 of file parser_private.h.

◆ data_undefined_p

#define data_undefined_p ( x ) ((x)==data_undefined)

Definition at line 149 of file parser_private.h.

◆ DATAVAL

#define DATAVAL ( x ) ((dataval)((x).p))

DATAVAL.

Definition at line 178 of file parser_private.h.

◆ DATAVAL_

#define DATAVAL_ ( x ) ((x).e)

Definition at line 181 of file parser_private.h.

◆ dataval_CAST

#define dataval_CAST ( x ) DATAVAL(x)

Definition at line 179 of file parser_private.h.

◆ DATAVAL_CAST

#define DATAVAL_CAST ( x ) DATAVAL(x)

Definition at line 180 of file parser_private.h.

◆ dataval_constant

#define dataval_constant ( x ) ((x)->_dataval_constant_)

Definition at line 208 of file parser_private.h.

◆ dataval_constant_

#define dataval_constant_ ( x ) dataval_constant(x) /**old hack compatible */

Definition at line 207 of file parser_private.h.

◆ dataval_domain

#define dataval_domain (_gen_parser_private_start+3)

newgen_data_domain_defined

Definition at line 48 of file parser_private.h.

◆ dataval_domain_number

#define dataval_domain_number ( x ) ((x)->_type_)

Definition at line 206 of file parser_private.h.

◆ dataval_nboccurrences

#define dataval_nboccurrences ( x ) ((x)->_dataval_nboccurrences_)

Definition at line 210 of file parser_private.h.

◆ dataval_nboccurrences_

#define dataval_nboccurrences_ ( x ) dataval_nboccurrences(x) /**old hack compatible */

Definition at line 209 of file parser_private.h.

◆ DATAVAL_NEWGEN_DOMAIN

#define DATAVAL_NEWGEN_DOMAIN (dataval_domain)

Definition at line 51 of file parser_private.h.

◆ dataval_NEWGEN_DOMAIN

#define dataval_NEWGEN_DOMAIN (dataval_domain)

Definition at line 52 of file parser_private.h.

◆ DATAVAL_TYPE

#define DATAVAL_TYPE dataval

Definition at line 182 of file parser_private.h.

◆ dataval_TYPE

#define dataval_TYPE dataval

Definition at line 183 of file parser_private.h.

◆ dataval_undefined

#define dataval_undefined ((dataval)gen_chunk_undefined)

Definition at line 184 of file parser_private.h.

◆ dataval_undefined_p

#define dataval_undefined_p ( x ) ((x)==dataval_undefined)

Definition at line 185 of file parser_private.h.

◆ DATAVAR

#define DATAVAR ( x ) ((datavar)((x).p))

DATAVAR.

Definition at line 214 of file parser_private.h.

◆ DATAVAR_

#define DATAVAR_ ( x ) ((x).e)

Definition at line 217 of file parser_private.h.

◆ datavar_CAST

#define datavar_CAST ( x ) DATAVAR(x)

Definition at line 215 of file parser_private.h.

◆ DATAVAR_CAST

#define DATAVAR_CAST ( x ) DATAVAR(x)

Definition at line 216 of file parser_private.h.

◆ datavar_domain

#define datavar_domain (_gen_parser_private_start+4)

newgen_dataval_domain_defined

Definition at line 56 of file parser_private.h.

◆ datavar_domain_number

#define datavar_domain_number ( x ) ((x)->_type_)

Definition at line 242 of file parser_private.h.

◆ datavar_nbelements

#define datavar_nbelements ( x ) ((x)->_datavar_nbelements_)

Definition at line 246 of file parser_private.h.

◆ datavar_nbelements_

#define datavar_nbelements_ ( x ) datavar_nbelements(x) /**old hack compatible */

Definition at line 245 of file parser_private.h.

◆ DATAVAR_NEWGEN_DOMAIN

#define DATAVAR_NEWGEN_DOMAIN (datavar_domain)

Definition at line 59 of file parser_private.h.

◆ datavar_NEWGEN_DOMAIN

#define datavar_NEWGEN_DOMAIN (datavar_domain)

Definition at line 60 of file parser_private.h.

◆ DATAVAR_TYPE

#define DATAVAR_TYPE datavar

Definition at line 218 of file parser_private.h.

◆ datavar_TYPE

#define datavar_TYPE datavar

Definition at line 219 of file parser_private.h.

◆ datavar_undefined

#define datavar_undefined ((datavar)gen_chunk_undefined)

Definition at line 220 of file parser_private.h.

◆ datavar_undefined_p

#define datavar_undefined_p ( x ) ((x)==datavar_undefined)

Definition at line 221 of file parser_private.h.

◆ datavar_variable

#define datavar_variable ( x ) ((x)->_datavar_variable_)

Definition at line 244 of file parser_private.h.

◆ datavar_variable_

#define datavar_variable_ ( x ) datavar_variable(x) /**old hack compatible */

Definition at line 243 of file parser_private.h.

◆ ENTITY_NEWGEN_DOMAIN

#define ENTITY_NEWGEN_DOMAIN (entity_domain)

Definition at line 12 of file parser_private.h.

◆ entity_NEWGEN_DOMAIN

#define entity_NEWGEN_DOMAIN (entity_domain)

Definition at line 13 of file parser_private.h.

◆ EQUIVALENCES

#define EQUIVALENCES ( x ) ((equivalences)((x).p))

EQUIVALENCES.

Definition at line 250 of file parser_private.h.

◆ EQUIVALENCES_

#define EQUIVALENCES_ ( x ) ((x).e)

Definition at line 253 of file parser_private.h.

◆ equivalences_CAST

#define equivalences_CAST ( x ) EQUIVALENCES(x)

Definition at line 251 of file parser_private.h.

◆ EQUIVALENCES_CAST

#define EQUIVALENCES_CAST ( x ) EQUIVALENCES(x)

Definition at line 252 of file parser_private.h.

◆ equivalences_chains

#define equivalences_chains ( x ) ((x)->_equivalences_holder_)

Definition at line 278 of file parser_private.h.

◆ equivalences_domain

#define equivalences_domain (_gen_parser_private_start+5)

newgen_datavar_domain_defined

Definition at line 64 of file parser_private.h.

◆ equivalences_domain_number

#define equivalences_domain_number ( x ) ((x)->_type_)

Definition at line 277 of file parser_private.h.

◆ EQUIVALENCES_NEWGEN_DOMAIN

#define EQUIVALENCES_NEWGEN_DOMAIN (equivalences_domain)

Definition at line 67 of file parser_private.h.

◆ equivalences_NEWGEN_DOMAIN

#define equivalences_NEWGEN_DOMAIN (equivalences_domain)

Definition at line 68 of file parser_private.h.

◆ EQUIVALENCES_TYPE

#define EQUIVALENCES_TYPE equivalences

Definition at line 254 of file parser_private.h.

◆ equivalences_TYPE

#define equivalences_TYPE equivalences

Definition at line 255 of file parser_private.h.

◆ equivalences_undefined

#define equivalences_undefined ((equivalences)gen_chunk_undefined)

Definition at line 256 of file parser_private.h.

◆ equivalences_undefined_p

#define equivalences_undefined_p ( x ) ((x)==equivalences_undefined)

Definition at line 257 of file parser_private.h.

◆ gen_ATOM_cons

#define gen_ATOM_cons gen_atom_cons

Definition at line 88 of file parser_private.h.

◆ gen_CHAIN_cons

#define gen_CHAIN_cons gen_chain_cons

Definition at line 124 of file parser_private.h.

◆ gen_DATA_cons

#define gen_DATA_cons gen_data_cons

Definition at line 156 of file parser_private.h.

◆ gen_DATAVAL_cons

#define gen_DATAVAL_cons gen_dataval_cons

Definition at line 192 of file parser_private.h.

◆ gen_DATAVAR_cons

#define gen_DATAVAR_cons gen_datavar_cons

Definition at line 228 of file parser_private.h.

◆ gen_EQUIVALENCES_cons

#define gen_EQUIVALENCES_cons gen_equivalences_cons

Definition at line 264 of file parser_private.h.

◆ parser_private_spec

#define parser_private_spec "\--NEWGEN-START 108\n\import entity from \"ri.newgen\";\n\import constant from \"ri.newgen\";\n\atom = equivar:entity x equioff:int;\n\chain = atoms:atom*;\n\data = datavars:datavar* x datavals:dataval*;\n\dataval = constant:constant x nboccurrences:int;\n\datavar = variable:entity x nbelements:int;\n\equivalences = chains:chain*;\n\"

Definition at line 280 of file parser_private.h.

Typedef Documentation

◆ atom

typedef struct _newgen_struct_atom_* atom

Definition at line 29 of file parser_private.h.

◆ chain

typedef struct _newgen_struct_chain_* chain

Definition at line 37 of file parser_private.h.

◆ constant

typedef struct _newgen_struct_constant_* constant

Definition at line 21 of file parser_private.h.

◆ data

typedef struct _newgen_struct_data_* data

Definition at line 45 of file parser_private.h.

◆ dataval

typedef struct _newgen_struct_dataval_* dataval

Definition at line 53 of file parser_private.h.

◆ datavar

typedef struct _newgen_struct_datavar_* datavar

Definition at line 61 of file parser_private.h.

◆ entity

typedef struct _newgen_struct_entity_* entity

Definition at line 14 of file parser_private.h.

◆ equivalences

typedef struct _newgen_struct_equivalences_* equivalences

Definition at line 69 of file parser_private.h.

Function Documentation

◆ atom_assign_contents()

void atom_assign_contents	(	atom	r,
		atom	v
	)

Definition at line 35 of file parser_private.c.

                                           {
   check_atom(r);
   check_atom(v);
   message_assert("defined references to domain atom",
                  atom_defined_p(r) && atom_defined_p(v));
        memcpy(r, v, sizeof(struct _newgen_struct_atom_));
 }

References atom_defined_p(), check_atom(), and message_assert.

Here is the call graph for this function:

◆ atom_consistent_p()

bool atom_consistent_p ( atom p )

Definition at line 25 of file parser_private.c.

                                {
   check_atom(p);
   return gen_consistent_p((gen_chunk*) p);
 }

References check_atom(), and gen_consistent_p().

Here is the call graph for this function:

◆ atom_defined_p()

bool atom_defined_p ( atom p )

Definition at line 29 of file parser_private.c.

                             {
   return gen_defined_p((gen_chunk*) p);
 }

References gen_defined_p().

Referenced by atom_assign_contents().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ atom_non_recursive_free()

void atom_non_recursive_free ( atom p )

Definition at line 42 of file parser_private.c.

                                      {
   // should clear up contents...
   free(p);
 }

References free().

Here is the call graph for this function:

◆ chain_assign_contents()

void chain_assign_contents	(	chain	r,
		chain	v
	)

Definition at line 77 of file parser_private.c.

                                              {
   check_chain(r);
   check_chain(v);
   message_assert("defined references to domain chain",
                  chain_defined_p(r) && chain_defined_p(v));
        memcpy(r, v, sizeof(struct _newgen_struct_chain_));
 }

References chain_defined_p(), check_chain(), and message_assert.

Here is the call graph for this function:

◆ chain_consistent_p()

bool chain_consistent_p ( chain p )

Definition at line 67 of file parser_private.c.

                                  {
   check_chain(p);
   return gen_consistent_p((gen_chunk*) p);
 }

References check_chain(), and gen_consistent_p().

Here is the call graph for this function:

◆ chain_defined_p()

bool chain_defined_p ( chain p )

Definition at line 71 of file parser_private.c.

                               {
   return gen_defined_p((gen_chunk*) p);
 }

References gen_defined_p().

Referenced by chain_assign_contents().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ chain_non_recursive_free()

void chain_non_recursive_free ( chain p )

Definition at line 84 of file parser_private.c.

                                        {
   // should clear up contents...
   free(p);
 }

References free().

Here is the call graph for this function:

◆ check_atom()

atom check_atom ( atom p )

Definition at line 22 of file parser_private.c.

                         {
   return (atom) gen_check((gen_chunk*) p, atom_domain);
 }

References atom_domain, and gen_check().

Referenced by atom_assign_contents(), and atom_consistent_p().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ check_chain()

chain check_chain ( chain p )

Definition at line 64 of file parser_private.c.

                            {
   return (chain) gen_check((gen_chunk*) p, chain_domain);
 }

References chain_domain, and gen_check().

Referenced by chain_assign_contents(), and chain_consistent_p().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ check_data()

data check_data ( data p )

Definition at line 106 of file parser_private.c.

                         {
   return (data) gen_check((gen_chunk*) p, data_domain);
 }

References data_domain, and gen_check().

Referenced by data_assign_contents(), and data_consistent_p().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ check_dataval()

dataval check_dataval ( dataval p )

Definition at line 148 of file parser_private.c.

                                  {
   return (dataval) gen_check((gen_chunk*) p, dataval_domain);
 }

References dataval_domain, and gen_check().

Referenced by dataval_assign_contents(), and dataval_consistent_p().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ check_datavar()

datavar check_datavar ( datavar p )

Definition at line 190 of file parser_private.c.

                                  {
   return (datavar) gen_check((gen_chunk*) p, datavar_domain);
 }

References datavar_domain, and gen_check().

Referenced by datavar_assign_contents(), and datavar_consistent_p().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ check_equivalences()

equivalences check_equivalences ( equivalences p )

Definition at line 232 of file parser_private.c.

                                                 {
   return (equivalences) gen_check((gen_chunk*) p, equivalences_domain);
 }

References equivalences_domain, and gen_check().

Referenced by equivalences_assign_contents(), and equivalences_consistent_p().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ copy_atom()

atom copy_atom ( atom p )

ATOM.

Definition at line 16 of file parser_private.c.

                        {
   return (atom) gen_copy_tree((gen_chunk*) p);
 }

References gen_copy_tree().

Here is the call graph for this function:

◆ copy_chain()

chain copy_chain ( chain p )

CHAIN.

Definition at line 58 of file parser_private.c.

                           {
   return (chain) gen_copy_tree((gen_chunk*) p);
 }

References gen_copy_tree().

Here is the call graph for this function:

◆ copy_data()

data copy_data ( data p )

DATA.

Definition at line 100 of file parser_private.c.

                        {
   return (data) gen_copy_tree((gen_chunk*) p);
 }

References gen_copy_tree().

Here is the call graph for this function:

◆ copy_dataval()

dataval copy_dataval ( dataval p )

DATAVAL.

Definition at line 142 of file parser_private.c.

                                 {
   return (dataval) gen_copy_tree((gen_chunk*) p);
 }

References gen_copy_tree().

Here is the call graph for this function:

◆ copy_datavar()

datavar copy_datavar ( datavar p )

DATAVAR.

Definition at line 184 of file parser_private.c.

                                 {
   return (datavar) gen_copy_tree((gen_chunk*) p);
 }

References gen_copy_tree().

Here is the call graph for this function:

◆ copy_equivalences()

equivalences copy_equivalences ( equivalences p )

EQUIVALENCES.

Definition at line 226 of file parser_private.c.

                                                {
   return (equivalences) gen_copy_tree((gen_chunk*) p);
 }

References gen_copy_tree().

Here is the call graph for this function:

◆ data_assign_contents()

void data_assign_contents	(	data	r,
		data	v
	)

Definition at line 119 of file parser_private.c.

                                           {
   check_data(r);
   check_data(v);
   message_assert("defined references to domain data",
                  data_defined_p(r) && data_defined_p(v));
        memcpy(r, v, sizeof(struct _newgen_struct_data_));
 }

References check_data(), data_defined_p(), and message_assert.

Here is the call graph for this function:

◆ data_consistent_p()

bool data_consistent_p ( data p )

Definition at line 109 of file parser_private.c.

                                {
   check_data(p);
   return gen_consistent_p((gen_chunk*) p);
 }

References check_data(), and gen_consistent_p().

Here is the call graph for this function:

◆ data_defined_p()

bool data_defined_p ( data p )

Definition at line 113 of file parser_private.c.

                             {
   return gen_defined_p((gen_chunk*) p);
 }

References gen_defined_p().

Referenced by data_assign_contents().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ data_non_recursive_free()

void data_non_recursive_free ( data p )

Definition at line 126 of file parser_private.c.

                                      {
   // should clear up contents...
   free(p);
 }

References free().

Here is the call graph for this function:

◆ dataval_assign_contents()

void dataval_assign_contents	(	dataval	r,
		dataval	v
	)

Definition at line 161 of file parser_private.c.

                                                    {
   check_dataval(r);
   check_dataval(v);
   message_assert("defined references to domain dataval",
                  dataval_defined_p(r) && dataval_defined_p(v));
        memcpy(r, v, sizeof(struct _newgen_struct_dataval_));
 }

References check_dataval(), dataval_defined_p(), and message_assert.

Here is the call graph for this function:

◆ dataval_consistent_p()

bool dataval_consistent_p ( dataval p )

Definition at line 151 of file parser_private.c.

                                      {
   check_dataval(p);
   return gen_consistent_p((gen_chunk*) p);
 }

References check_dataval(), and gen_consistent_p().

Here is the call graph for this function:

◆ dataval_defined_p()

bool dataval_defined_p ( dataval p )

Definition at line 155 of file parser_private.c.

                                   {
   return gen_defined_p((gen_chunk*) p);
 }

References gen_defined_p().

Referenced by dataval_assign_contents().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ dataval_non_recursive_free()

void dataval_non_recursive_free ( dataval p )

Definition at line 168 of file parser_private.c.

                                            {
   // should clear up contents...
   free(p);
 }

References free().

Here is the call graph for this function:

◆ datavar_assign_contents()

void datavar_assign_contents	(	datavar	r,
		datavar	v
	)

Definition at line 203 of file parser_private.c.

                                                    {
   check_datavar(r);
   check_datavar(v);
   message_assert("defined references to domain datavar",
                  datavar_defined_p(r) && datavar_defined_p(v));
        memcpy(r, v, sizeof(struct _newgen_struct_datavar_));
 }

References check_datavar(), datavar_defined_p(), and message_assert.

Here is the call graph for this function:

◆ datavar_consistent_p()

bool datavar_consistent_p ( datavar p )

Definition at line 193 of file parser_private.c.

                                      {
   check_datavar(p);
   return gen_consistent_p((gen_chunk*) p);
 }

References check_datavar(), and gen_consistent_p().

Here is the call graph for this function:

◆ datavar_defined_p()

bool datavar_defined_p ( datavar p )

Definition at line 197 of file parser_private.c.

                                   {
   return gen_defined_p((gen_chunk*) p);
 }

References gen_defined_p().

Referenced by datavar_assign_contents().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ datavar_non_recursive_free()

void datavar_non_recursive_free ( datavar p )

Definition at line 210 of file parser_private.c.

                                            {
   // should clear up contents...
   free(p);
 }

References free().

Here is the call graph for this function:

◆ equivalences_assign_contents()

void equivalences_assign_contents	(	equivalences	r,
		equivalences	v
	)

Definition at line 245 of file parser_private.c.

                                                                   {
   check_equivalences(r);
   check_equivalences(v);
   message_assert("defined references to domain equivalences",
                  equivalences_defined_p(r) && equivalences_defined_p(v));
        memcpy(r, v, sizeof(struct _newgen_struct_equivalences_));
 }

References check_equivalences(), equivalences_defined_p(), and message_assert.

Here is the call graph for this function:

◆ equivalences_consistent_p()

bool equivalences_consistent_p ( equivalences p )

Definition at line 235 of file parser_private.c.

                                                {
   check_equivalences(p);
   return gen_consistent_p((gen_chunk*) p);
 }

References check_equivalences(), and gen_consistent_p().

Here is the call graph for this function:

◆ equivalences_defined_p()

bool equivalences_defined_p ( equivalences p )

Definition at line 239 of file parser_private.c.

                                             {
   return gen_defined_p((gen_chunk*) p);
 }

References gen_defined_p().

Referenced by equivalences_assign_contents().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ equivalences_non_recursive_free()

void equivalences_non_recursive_free ( equivalences p )

Definition at line 252 of file parser_private.c.

                                                      {
   // should clear up contents...
   free(p);
 }

References free().

Here is the call graph for this function:

◆ free_atom()

void free_atom ( atom p )

Definition at line 19 of file parser_private.c.

                        {
   gen_free((gen_chunk*) p);
 }

References gen_free().

Here is the call graph for this function:

◆ free_chain()

void free_chain ( chain p )

Definition at line 61 of file parser_private.c.

                          {
   gen_free((gen_chunk*) p);
 }

References gen_free().

Here is the call graph for this function:

◆ free_data()

void free_data ( data p )

Definition at line 103 of file parser_private.c.

                        {
   gen_free((gen_chunk*) p);
 }

References gen_free().

Here is the call graph for this function:

◆ free_dataval()

void free_dataval ( dataval p )

Definition at line 145 of file parser_private.c.

                              {
   gen_free((gen_chunk*) p);
 }

References gen_free().

Here is the call graph for this function:

◆ free_datavar()

void free_datavar ( datavar p )

Definition at line 187 of file parser_private.c.

                              {
   gen_free((gen_chunk*) p);
 }

References gen_free().

Here is the call graph for this function:

◆ free_equivalences()

void free_equivalences ( equivalences p )

Definition at line 229 of file parser_private.c.

                                        {
   gen_free((gen_chunk*) p);
 }

References gen_free().

Referenced by ComputeEquivalences(), and ResetChains().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ gen_atom_cons()

list gen_atom_cons	(	atom	p,
		list	l
	)

Definition at line 32 of file parser_private.c.

                                    {
   return gen_typed_cons(ATOM_NEWGEN_DOMAIN, p, l);
 }

References ATOM_NEWGEN_DOMAIN, and gen_typed_cons().

Here is the call graph for this function:

◆ gen_chain_cons()

list gen_chain_cons	(	chain	p,
		list	l
	)

Definition at line 74 of file parser_private.c.

                                      {
   return gen_typed_cons(CHAIN_NEWGEN_DOMAIN, p, l);
 }

References CHAIN_NEWGEN_DOMAIN, and gen_typed_cons().

Here is the call graph for this function:

◆ gen_data_cons()

list gen_data_cons	(	data	p,
		list	l
	)

Definition at line 116 of file parser_private.c.

                                    {
   return gen_typed_cons(DATA_NEWGEN_DOMAIN, p, l);
 }

References DATA_NEWGEN_DOMAIN, and gen_typed_cons().

Here is the call graph for this function:

◆ gen_dataval_cons()

list gen_dataval_cons	(	dataval	p,
		list	l
	)

Definition at line 158 of file parser_private.c.

                                          {
   return gen_typed_cons(DATAVAL_NEWGEN_DOMAIN, p, l);
 }

References DATAVAL_NEWGEN_DOMAIN, and gen_typed_cons().

Here is the call graph for this function:

◆ gen_datavar_cons()

list gen_datavar_cons	(	datavar	p,
		list	l
	)

Definition at line 200 of file parser_private.c.

                                          {
   return gen_typed_cons(DATAVAR_NEWGEN_DOMAIN, p, l);
 }

References DATAVAR_NEWGEN_DOMAIN, and gen_typed_cons().

Here is the call graph for this function:

◆ gen_equivalences_cons()

list gen_equivalences_cons	(	equivalences	p,
		list	l
	)

Definition at line 242 of file parser_private.c.

                                                    {
   return gen_typed_cons(EQUIVALENCES_NEWGEN_DOMAIN, p, l);
 }

References EQUIVALENCES_NEWGEN_DOMAIN, and gen_typed_cons().

Here is the call graph for this function:

◆ make_atom()

atom make_atom	(	entity	a1,
		intptr_t	a2
	)

Definition at line 52 of file parser_private.c.

                                        {
   return (atom) gen_alloc(3*sizeof(gen_chunk), GEN_CHECK_ALLOC, atom_domain, a1, a2);
 }

References atom_domain, gen_alloc(), and GEN_CHECK_ALLOC.

Referenced by MakeEquivAtom().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ make_chain()

chain make_chain ( list a )

Definition at line 94 of file parser_private.c.

                          {
   return (chain) gen_alloc(2*sizeof(gen_chunk), GEN_CHECK_ALLOC, chain_domain, a);
 }

References chain_domain, gen_alloc(), and GEN_CHECK_ALLOC.

Referenced by AddOrMergeChain().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ make_data()

data make_data	(	list	a1,
		list	a2
	)

Definition at line 136 of file parser_private.c.

                                  {
   return (data) gen_alloc(3*sizeof(gen_chunk), GEN_CHECK_ALLOC, data_domain, a1, a2);
 }

References data_domain, gen_alloc(), and GEN_CHECK_ALLOC.

Here is the call graph for this function:

◆ make_dataval()

dataval make_dataval	(	constant	a1,
		intptr_t	a2
	)

Definition at line 178 of file parser_private.c.

                                                {
   return (dataval) gen_alloc(3*sizeof(gen_chunk), GEN_CHECK_ALLOC, dataval_domain, a1, a2);
 }

References dataval_domain, gen_alloc(), and GEN_CHECK_ALLOC.

Here is the call graph for this function:

◆ make_datavar()

datavar make_datavar	(	entity	a1,
		intptr_t	a2
	)

Definition at line 220 of file parser_private.c.

                                              {
   return (datavar) gen_alloc(3*sizeof(gen_chunk), GEN_CHECK_ALLOC, datavar_domain, a1, a2);
 }

References datavar_domain, gen_alloc(), and GEN_CHECK_ALLOC.

Here is the call graph for this function:

◆ make_equivalences()

equivalences make_equivalences ( list a )

Definition at line 262 of file parser_private.c.

                                        {
   return (equivalences) gen_alloc(2*sizeof(gen_chunk), GEN_CHECK_ALLOC, equivalences_domain, a);
 }

References equivalences_domain, gen_alloc(), and GEN_CHECK_ALLOC.

Referenced by ComputeEquivalences(), and SetChains().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ read_atom()

atom read_atom ( FILE * f )

Definition at line 49 of file parser_private.c.

                         {
   return (atom) gen_read(f);
 }

References f(), and gen_read().

Here is the call graph for this function:

◆ read_chain()

chain read_chain ( FILE * f )

Definition at line 91 of file parser_private.c.

                           {
   return (chain) gen_read(f);
 }

References f(), and gen_read().

Here is the call graph for this function:

◆ read_data()

data read_data ( FILE * f )

Definition at line 133 of file parser_private.c.

                         {
   return (data) gen_read(f);
 }

References f(), and gen_read().

Here is the call graph for this function:

◆ read_dataval()

dataval read_dataval ( FILE * f )

Definition at line 175 of file parser_private.c.

                               {
   return (dataval) gen_read(f);
 }

References f(), and gen_read().

Here is the call graph for this function:

◆ read_datavar()

datavar read_datavar ( FILE * f )

Definition at line 217 of file parser_private.c.

                               {
   return (datavar) gen_read(f);
 }

References f(), and gen_read().

Here is the call graph for this function:

◆ read_equivalences()

equivalences read_equivalences ( FILE * f )

Definition at line 259 of file parser_private.c.

                                         {
   return (equivalences) gen_read(f);
 }

References f(), and gen_read().

Here is the call graph for this function:

◆ write_atom()

void write_atom	(	FILE *	f,
		atom	p
	)

Definition at line 46 of file parser_private.c.

                                  {
   gen_write(f, (gen_chunk*) p);
 }

References f(), and gen_write().

Here is the call graph for this function:

◆ write_chain()

void write_chain	(	FILE *	f,
		chain	p
	)

Definition at line 88 of file parser_private.c.

                                    {
   gen_write(f, (gen_chunk*) p);
 }

References f(), and gen_write().

Here is the call graph for this function:

◆ write_data()

void write_data	(	FILE *	f,
		data	p
	)

Definition at line 130 of file parser_private.c.

                                  {
   gen_write(f, (gen_chunk*) p);
 }

References f(), and gen_write().

Here is the call graph for this function:

◆ write_dataval()

void write_dataval	(	FILE *	f,
		dataval	p
	)

Definition at line 172 of file parser_private.c.

                                        {
   gen_write(f, (gen_chunk*) p);
 }

References f(), and gen_write().

Here is the call graph for this function:

◆ write_datavar()

void write_datavar	(	FILE *	f,
		datavar	p
	)

Definition at line 214 of file parser_private.c.

                                        {
   gen_write(f, (gen_chunk*) p);
 }

References f(), and gen_write().

Here is the call graph for this function:

◆ write_equivalences()

void write_equivalences	(	FILE *	f,
		equivalences	p
	)

Definition at line 256 of file parser_private.c.

                                                  {
   gen_write(f, (gen_chunk*) p);
 }

References f(), and gen_write().

Here is the call graph for this function:

Data Structures

Macros

Typedefs

Functions

Macro Definition Documentation

◆ _gen_parser_private_start

◆ _newgen_atom_domain_defined_

◆ _newgen_chain_domain_defined_

◆ _newgen_constant_domain_defined_

◆ _newgen_data_domain_defined_

◆ _newgen_dataval_domain_defined_

◆ _newgen_datavar_domain_defined_

◆ _newgen_entity_domain_defined_

◆ _newgen_equivalences_domain_defined_

◆ ATOM

◆ ATOM_

◆ atom_CAST

◆ ATOM_CAST

◆ atom_domain

◆ atom_domain_number

◆ atom_equioff

◆ atom_equioff_

◆ atom_equivar

◆ atom_equivar_

◆ ATOM_NEWGEN_DOMAIN

◆ atom_NEWGEN_DOMAIN

◆ ATOM_TYPE

◆ atom_TYPE

◆ atom_undefined

◆ atom_undefined_p

◆ CHAIN

◆ CHAIN_

◆ chain_atoms

◆ chain_CAST

◆ CHAIN_CAST

◆ chain_domain

◆ chain_domain_number

◆ CHAIN_NEWGEN_DOMAIN

◆ chain_NEWGEN_DOMAIN

◆ CHAIN_TYPE

◆ chain_TYPE

◆ chain_undefined

◆ chain_undefined_p

◆ CONSTANT_NEWGEN_DOMAIN

◆ constant_NEWGEN_DOMAIN

◆ DATA

◆ DATA_

◆ data_CAST

◆ DATA_CAST

◆ data_datavals

◆ data_datavals_

◆ data_datavars

◆ data_datavars_

◆ data_domain

◆ data_domain_number

◆ DATA_NEWGEN_DOMAIN

◆ data_NEWGEN_DOMAIN

◆ DATA_TYPE

◆ data_TYPE

◆ data_undefined

◆ data_undefined_p

◆ DATAVAL

◆ DATAVAL_

◆ dataval_CAST

◆ DATAVAL_CAST

◆ dataval_constant

◆ dataval_constant_

◆ dataval_domain

◆ dataval_domain_number

◆ dataval_nboccurrences

◆ dataval_nboccurrences_

◆ DATAVAL_NEWGEN_DOMAIN

◆ dataval_NEWGEN_DOMAIN

◆ DATAVAL_TYPE

◆ dataval_TYPE

◆ dataval_undefined

◆ dataval_undefined_p

◆ DATAVAR

◆ DATAVAR_

◆ datavar_CAST