Home
last modified time | relevance | path

Searched defs:vOneHots (Results 1 – 2 of 2) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/fra/
H A DfraHot.c137 Vec_Int_t * vOneHots; in Fra_OneHotCompute() local
191 void Fra_OneHotAssume( Fra_Man_t * p, Vec_Int_t * vOneHots ) in Fra_OneHotAssume()
229 void Fra_OneHotCheck( Fra_Man_t * p, Vec_Int_t * vOneHots ) in Fra_OneHotCheck()
266 int Fra_OneHotRefineUsingCex( Fra_Man_t * p, Vec_Int_t * vOneHots ) in Fra_OneHotRefineUsingCex()
303 int Fra_OneHotCount( Fra_Man_t * p, Vec_Int_t * vOneHots ) in Fra_OneHotCount()
328 void Fra_OneHotEstimateCoverage( Fra_Man_t * p, Vec_Int_t * vOneHots ) in Fra_OneHotEstimateCoverage()
398 Aig_Man_t * Fra_OneHotCreateExdc( Fra_Man_t * p, Vec_Int_t * vOneHots ) in Fra_OneHotCreateExdc()
H A Dfra.h208 Vec_Int_t * vOneHots; member