abc-master
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
Data Fields
saucy Struct Reference

Data Fields

int n
 
int * adj
 
int * edg
 
int * dadj
 
int * dedg
 
struct coloring left right
 
int * nextnon
 
int * prevnon
 
char * indmark
 
int * ninduce
 
int * sinduce
 
int nninduce
 
int nsinduce
 
int * clist
 
int csize
 
char * stuff
 
int * ccount
 
int * bucket
 
int * count
 
int * junk
 
int * gamma
 
int * conncnts
 
int lev
 
int anc
 
int * anctar
 
int kanctar
 
int * start
 
int indmin
 
int match
 
int * theta
 
int * thsize
 
int * thnext
 
int * thprev
 
int * threp
 
int * thfront
 
int * splitvar
 
int * splitwho
 
int * splitfrom
 
int * splitlev
 
int nsplits
 
char * diffmark
 
int * diffs
 
int * difflev
 
int ndiffs
 
int * undifflev
 
int nundiffs
 
int * unsupp
 
int * specmin
 
int * pairs
 
int * unpairs
 
int npairs
 
int * diffnons
 
int * undiffnons
 
int ndiffnons
 
int(* split )(struct saucy *, struct coloring *, int, int)
 
int(* is_automorphism )(struct saucy *)
 
int(* ref_singleton )(struct saucy *, struct coloring *, int)
 
int(* ref_nonsingle )(struct saucy *, struct coloring *, int)
 
void(* select_decomposition )(struct saucy *, int *, int *, int *)
 
struct saucy_stats * stats
 
Abc_Ntk_t * pNtk
 
Abc_Ntk_t * pNtk_permuted
 
int * depAdj
 
int * depEdg
 
Vec_Int_t ** iDep
 
Vec_Int_t ** oDep
 
Vec_Int_t ** obs
 
Vec_Int_t ** ctrl
 
Vec_Ptr_t ** topOrder
 
Vec_Ptr_t * randomVectorArray_sim1
 
int * randomVectorSplit_sim1
 
Vec_Ptr_t * randomVectorArray_sim2
 
int * randomVectorSplit_sim2
 
char * marks
 
int * pModel
 
Vec_Ptr_t * satCounterExamples
 
double activityInc
 
int fBooleanMatching
 
int fPrintTree
 
int fLookForSwaps
 
FILE * gFile
 
int(* refineBySim1 )(struct saucy *, struct coloring *)
 
int(* refineBySim2 )(struct saucy *, struct coloring *)
 
int(* print_automorphism )(FILE *f, int n, const int *gamma, int nsupp, const int *support, char *marks, Abc_Ntk_t *pNtk)
 

Detailed Description

Definition at line 89 of file abcSaucy.c.

Field Documentation

double saucy::activityInc

Definition at line 187 of file abcSaucy.c.

int* saucy::adj

Definition at line 92 of file abcSaucy.c.

int saucy::anc

Definition at line 124 of file abcSaucy.c.

int* saucy::anctar

Definition at line 125 of file abcSaucy.c.

int* saucy::bucket

Definition at line 116 of file abcSaucy.c.

int* saucy::ccount

Definition at line 115 of file abcSaucy.c.

int* saucy::clist

Definition at line 110 of file abcSaucy.c.

int* saucy::conncnts

Definition at line 120 of file abcSaucy.c.

int* saucy::count

Definition at line 117 of file abcSaucy.c.

int saucy::csize

Definition at line 111 of file abcSaucy.c.

Vec_Int_t ** saucy::ctrl

Definition at line 178 of file abcSaucy.c.

int* saucy::dadj

Definition at line 94 of file abcSaucy.c.

int* saucy::dedg

Definition at line 95 of file abcSaucy.c.

int* saucy::depAdj

Definition at line 175 of file abcSaucy.c.

int* saucy::depEdg

Definition at line 176 of file abcSaucy.c.

int* saucy::difflev

Definition at line 149 of file abcSaucy.c.

char* saucy::diffmark

Definition at line 147 of file abcSaucy.c.

int* saucy::diffnons

Definition at line 158 of file abcSaucy.c.

int* saucy::diffs

Definition at line 148 of file abcSaucy.c.

int* saucy::edg

Definition at line 93 of file abcSaucy.c.

int saucy::fBooleanMatching

Definition at line 189 of file abcSaucy.c.

int saucy::fLookForSwaps

Definition at line 191 of file abcSaucy.c.

int saucy::fPrintTree

Definition at line 190 of file abcSaucy.c.

int* saucy::gamma

Definition at line 119 of file abcSaucy.c.

FILE* saucy::gFile

Definition at line 192 of file abcSaucy.c.

Vec_Int_t** saucy::iDep

Definition at line 177 of file abcSaucy.c.

char* saucy::indmark

Definition at line 103 of file abcSaucy.c.

int saucy::indmin

Definition at line 128 of file abcSaucy.c.

int(* saucy::is_automorphism)(struct saucy *)

Definition at line 164 of file abcSaucy.c.

int* saucy::junk

Definition at line 118 of file abcSaucy.c.

int saucy::kanctar

Definition at line 126 of file abcSaucy.c.

int saucy::lev

Definition at line 123 of file abcSaucy.c.

char* saucy::marks

Definition at line 184 of file abcSaucy.c.

int saucy::match

Definition at line 129 of file abcSaucy.c.

int saucy::n

Definition at line 91 of file abcSaucy.c.

int saucy::ndiffnons

Definition at line 160 of file abcSaucy.c.

int saucy::ndiffs

Definition at line 150 of file abcSaucy.c.

int* saucy::nextnon

Definition at line 99 of file abcSaucy.c.

int* saucy::ninduce

Definition at line 104 of file abcSaucy.c.

int saucy::nninduce

Definition at line 106 of file abcSaucy.c.

int saucy::npairs

Definition at line 157 of file abcSaucy.c.

int saucy::nsinduce

Definition at line 107 of file abcSaucy.c.

int saucy::nsplits

Definition at line 144 of file abcSaucy.c.

int saucy::nundiffs

Definition at line 152 of file abcSaucy.c.

Vec_Int_t** saucy::obs

Definition at line 178 of file abcSaucy.c.

Vec_Int_t ** saucy::oDep

Definition at line 177 of file abcSaucy.c.

int* saucy::pairs

Definition at line 155 of file abcSaucy.c.

int* saucy::pModel

Definition at line 185 of file abcSaucy.c.

Abc_Ntk_t* saucy::pNtk

Definition at line 173 of file abcSaucy.c.

Abc_Ntk_t* saucy::pNtk_permuted

Definition at line 174 of file abcSaucy.c.

int* saucy::prevnon

Definition at line 100 of file abcSaucy.c.

int(* saucy::print_automorphism)(FILE *f, int n, const int *gamma, int nsupp, const int *support, char *marks, Abc_Ntk_t *pNtk)

Definition at line 196 of file abcSaucy.c.

Vec_Ptr_t* saucy::randomVectorArray_sim1

Definition at line 180 of file abcSaucy.c.

Vec_Ptr_t* saucy::randomVectorArray_sim2

Definition at line 182 of file abcSaucy.c.

int* saucy::randomVectorSplit_sim1

Definition at line 181 of file abcSaucy.c.

int* saucy::randomVectorSplit_sim2

Definition at line 183 of file abcSaucy.c.

int(* saucy::ref_nonsingle)(struct saucy *, struct coloring *, int)

Definition at line 166 of file abcSaucy.c.

int(* saucy::ref_singleton)(struct saucy *, struct coloring *, int)

Definition at line 165 of file abcSaucy.c.

int(* saucy::refineBySim1)(struct saucy *, struct coloring *)

Definition at line 194 of file abcSaucy.c.

int(* saucy::refineBySim2)(struct saucy *, struct coloring *)

Definition at line 195 of file abcSaucy.c.

struct coloring left saucy::right

Definition at line 98 of file abcSaucy.c.

Vec_Ptr_t* saucy::satCounterExamples

Definition at line 186 of file abcSaucy.c.

void(* saucy::select_decomposition)(struct saucy *, int *, int *, int *)

Definition at line 167 of file abcSaucy.c.

int* saucy::sinduce

Definition at line 105 of file abcSaucy.c.

int* saucy::specmin

Definition at line 154 of file abcSaucy.c.

int(* saucy::split)(struct saucy *, struct coloring *, int, int)

Definition at line 163 of file abcSaucy.c.

int* saucy::splitfrom

Definition at line 142 of file abcSaucy.c.

int* saucy::splitlev

Definition at line 143 of file abcSaucy.c.

int* saucy::splitvar

Definition at line 140 of file abcSaucy.c.

int* saucy::splitwho

Definition at line 141 of file abcSaucy.c.

int* saucy::start

Definition at line 127 of file abcSaucy.c.

struct saucy_stats* saucy::stats

Definition at line 170 of file abcSaucy.c.

char* saucy::stuff

Definition at line 114 of file abcSaucy.c.

int* saucy::theta

Definition at line 132 of file abcSaucy.c.

int* saucy::thfront

Definition at line 137 of file abcSaucy.c.

int* saucy::thnext

Definition at line 134 of file abcSaucy.c.

int* saucy::thprev

Definition at line 135 of file abcSaucy.c.

int* saucy::threp

Definition at line 136 of file abcSaucy.c.

int* saucy::thsize

Definition at line 133 of file abcSaucy.c.

Vec_Ptr_t** saucy::topOrder

Definition at line 179 of file abcSaucy.c.

int* saucy::undifflev

Definition at line 151 of file abcSaucy.c.

int* saucy::undiffnons

Definition at line 159 of file abcSaucy.c.

int* saucy::unpairs

Definition at line 156 of file abcSaucy.c.

int* saucy::unsupp

Definition at line 153 of file abcSaucy.c.

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