ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
primes.c File Reference
#include "espresso.h"
Include dependency graph for primes.c:

Go to the source code of this file.

Functions

pcover primes_consensus (pcube *T)
 

Function Documentation

◆ primes_consensus()

pcover primes_consensus ( pcube * T)

Definition at line 21 of file primes.c.

23{
24 register pcube cl, cr;
25 register int best;
26 pcover Tnew, Tl, Tr;
27
28 if (primes_consensus_special_cases(T, &Tnew) == MAYBE) {
29 cl = new_cube();
30 cr = new_cube();
31 best = binate_split_select(T, cl, cr, COMPL);
32
33 Tl = primes_consensus(scofactor(T, cl, best));
34 Tr = primes_consensus(scofactor(T, cr, best));
35 Tnew = primes_consensus_merge(Tl, Tr, cl, cr);
36
37 free_cube(cl);
38 free_cube(cr);
40 }
41
42 return Tnew;
43}
#define pcover
Definition espresso.h:264
#define new_cube()
Definition espresso.h:262
pcube * scofactor()
#define COMPL
Definition espresso.h:351
#define pcube
Definition espresso.h:261
ABC_NAMESPACE_HEADER_END int binate_split_select()
#define free_cube(r)
Definition espresso.h:263
#define free_cubelist(T)
Definition espresso.h:267
#define MAYBE
Definition espresso.h:257
pcover primes_consensus()
Here is the call graph for this function: