TiedGroup_ Struct Reference

Public Attributes
char	iStart
char	nGVars

Detailed Description

Function*************************************************************

Synopsis [Adaptive exact/semi-canonical form computation.]

Description []

SideEffects []

SeeAlso []

Definition at line 1466 of file dauCanon.c.

Member Data Documentation

iStart

char TiedGroup_::iStart

Definition at line 1468 of file dauCanon.c.

nGVars

char TiedGroup_::nGVars

Definition at line 1469 of file dauCanon.c.

---

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

• src/opt/dau/dauCanon.c