ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Public Attributes | List of all members
cloudNode Struct Reference

#include <cloud.h>

Collaboration diagram for cloudNode:
Collaboration graph
[legend]

Public Attributes

CloudSign s
 
CloudVar v
 
CloudNode * e
 
CloudNode * t
 

Detailed Description

Definition at line 136 of file cloud.h.

Member Data Documentation

◆ e

CloudNode* cloudNode::e

Definition at line 140 of file cloud.h.

◆ s

CloudSign cloudNode::s

Definition at line 138 of file cloud.h.

◆ t

CloudNode* cloudNode::t

Definition at line 141 of file cloud.h.

◆ v

CloudVar cloudNode::v

Definition at line 139 of file cloud.h.

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