rel_relation Struct Reference
[System]

#include <rel.h>

Collaboration diagram for rel_relation:

[legend]

---

Detailed Description

Relation data structure (solver-side).

Note:

If you mess with this struct, change the defaults for it in .c file.

Data Fields
SlvBackendToken	instance
rel_extnode *	nodeinfo
var_variable **	incidence
enum backend_enum	type
int32	n_incidences
int32	mindex
int32	sindex
int32	model
uint32	flags

---

Field Documentation

SlvBackendToken rel_relation::instance

Normally, this is a pointer to an Instance struct

struct rel_extnode* rel_relation::nodeinfo

For use by blackbox relations, NULL in other cases

struct var_variable** rel_relation::incidence

array of atomic vars and nonvars in rel

enum backend_enum rel_relation::type

tokens, glassbox or blackbox

int32 rel_relation::n_incidences

length of incidence.

int32 rel_relation::mindex

index in the slv_system_t master list

int32 rel_relation::sindex

index in the slv_system_t solver list

int32 rel_relation::model

index of a hypothetical MODEL rel is from

uint32 rel_relation::flags

flags

---

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

• /home/doxygen/libascend/system/rel.h

---