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

#include <assign.h>

Public Attributes

unsigned level
 
unsigned trail
 
bool analyzed: 1
 
bool binary: 1
 
bool poisoned: 1
 
bool removable: 1
 
bool shrinkable: 1
 
unsigned reason
 

Detailed Description

Definition at line 18 of file assign.h.

Member Data Documentation

◆ analyzed

bool assigned::analyzed

Definition at line 22 of file assign.h.

◆ binary

bool assigned::binary

Definition at line 23 of file assign.h.

◆ level

unsigned assigned::level

Definition at line 19 of file assign.h.

◆ poisoned

bool assigned::poisoned

Definition at line 24 of file assign.h.

◆ reason

unsigned assigned::reason

Definition at line 28 of file assign.h.

◆ removable

bool assigned::removable

Definition at line 25 of file assign.h.

◆ shrinkable

bool assigned::shrinkable

Definition at line 26 of file assign.h.

◆ trail

unsigned assigned::trail

Definition at line 20 of file assign.h.

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