logrelation Struct Reference
[Compiler]

#include <logical_relation.h>

Collaboration diagram for logrelation:

[legend]

---

Detailed Description

The struct relation may be shared by multiple LogRelInstances.

Data Fields
TokenLogRel	token
int	logresidual
int	lognominal
int	logiscond
gl_list_t *	bvars
gl_list_t *	satrels
REFCOUNT_T	ref_count
enum Expr_enum	relop

---

Field Documentation

struct TokenLogRel logrelation::token

pointer ??

enum Expr_enum logrelation::relop

type of boolean constraint

---

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

• /home/doxygen/libascend/compiler/logical_relation.h

---