Home
last modified time | relevance | path

Searched defs:pSimL (Results 1 – 4 of 4) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/fra/
H A DfraImp.c90 unsigned * pSimL, * pSimR; in Sml_NodeCheckImp() local
113 unsigned * pSimL, * pSimR; in Sml_NodeNotImpWeight() local
135 unsigned * pSimL, * pSimR; in Sml_NodeSaveNotImpPatterns() local
H A DfraClaus.c469 unsigned * pSimL, * pSimR; in Fra_ClausSmlNodesAreImp() local
492 unsigned * pSimL, * pSimR; in Fra_ClausSmlNodesAreImpC() local
H A DfraSim.c135 unsigned * pSimL, * pSimR; in Fra_SmlNodeNotEquWeight() local
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/ssw/
H A DsswSim.c182 unsigned * pSimL, * pSimR; in Ssw_SmlNodeNotEquWeight() local