LogRelTermUnion Union Reference
[Compiler]

#include <logical_relation.h>

Collaboration diagram for LogRelTermUnion:

[legend]

---

Detailed Description

A union type for sizeof and other sorts. Not really intended for actual use except in sizeof and array declarations.

Data Fields
logrel_term	anon
LogRelBVar	bvar
LogRelBoolean	bol
LogRelInteger	intt
LogRelSatisfied	sat
LogRelUnary	uni
LogRelBinary	bin

---

Field Documentation

struct logrel_term LogRelTermUnion::anon

anonymous logical relation term type

struct LogRelBVar LogRelTermUnion::bvar

boolean vars

struct LogRelBoolean LogRelTermUnion::bol

boolean constants

struct LogRelInteger LogRelTermUnion::intt

integer for index in set

struct LogRelSatisfied LogRelTermUnion::sat

satisfied operator

struct LogRelUnary LogRelTermUnion::uni

unary operator NOT

struct LogRelBinary LogRelTermUnion::bin

binary operators OR AND

---

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

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

---