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

#include <kimits.h>

Public Attributes

struct { 
 
   uint64_t   max_bound_completed 
 
   unsigned   additional_clauses 
 
} eliminate 
 

Detailed Description

Definition at line 19 of file kimits.h.

Member Data Documentation

◆ additional_clauses

unsigned bounds::additional_clauses

Definition at line 22 of file kimits.h.

◆ [struct]

struct { ... } bounds::eliminate

◆ max_bound_completed

uint64_t bounds::max_bound_completed

Definition at line 21 of file kimits.h.

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