ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
limited Struct Reference

#include <kimits.h>

Public Attributes

bool conflicts
 
bool decisions
 

Detailed Description

Definition at line 59 of file kimits.h.

Member Data Documentation

◆ conflicts

bool limited::conflicts

Definition at line 60 of file kimits.h.

◆ decisions

bool limited::decisions

Definition at line 61 of file kimits.h.


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