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

#include <msatInt.h>

Public Attributes

double dVarDecay
 
double dClaDecay
 

Detailed Description

Definition at line 90 of file msatInt.h.

Member Data Documentation

◆ dClaDecay

double Msat_SearchParams_t_::dClaDecay

Definition at line 93 of file msatInt.h.

◆ dVarDecay

double Msat_SearchParams_t_::dVarDecay

Definition at line 92 of file msatInt.h.


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