mvar_type Struct Reference

#include <mdd.h>

Collaboration diagram for mvar_type:

[legend]

Data Fields
int	mvar_id
mvar_status	status
char *	name
int	values
int	encode_length
array_t *	bvars
int *	encoding

---

Detailed Description

Definition at line 159 of file mdd.h.

---

Field Documentation

array_t* mvar_type::bvars

Definition at line 167 of file mdd.h.

int mvar_type::encode_length

Definition at line 165 of file mdd.h.

int* mvar_type::encoding

Definition at line 169 of file mdd.h.

int mvar_type::mvar_id

Definition at line 160 of file mdd.h.

char* mvar_type::name

Definition at line 163 of file mdd.h.

mvar_status mvar_type::status

Definition at line 161 of file mdd.h.

int mvar_type::values

Definition at line 164 of file mdd.h.

---

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

• src/mdd/mdd.h