ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
mincov_int.h File Reference
#include "sparse.h"
#include "mincov.h"
#include "util_hack.h"
Include dependency graph for mincov_int.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

struct  stats_struct
 
struct  solution_struct
 

Macros

#define ABC__misc__espresso__mincov_int_h
 

Typedefs

typedef struct stats_struct stats_t
 
typedef struct solution_struct solution_t
 

Functions

solution_tsolution_alloc ()
 
void solution_free ()
 
solution_tsolution_dup ()
 
void solution_accept ()
 
void solution_reject ()
 
void solution_add ()
 
solution_tsolution_choose_best ()
 
solution_tsm_maximal_independent_set ()
 
solution_tsm_mincov ()
 
int gimpel_reduce ()
 

Macro Definition Documentation

◆ ABC__misc__espresso__mincov_int_h

#define ABC__misc__espresso__mincov_int_h

Definition at line 55 of file mincov_int.h.

Typedef Documentation

◆ solution_t

typedef struct solution_struct solution_t

Definition at line 35 of file mincov_int.h.

◆ stats_t

typedef struct stats_struct stats_t

Definition at line 18 of file mincov_int.h.

Function Documentation

◆ gimpel_reduce()

int gimpel_reduce ( )
extern
Here is the caller graph for this function:

◆ sm_maximal_independent_set()

solution_t * sm_maximal_independent_set ( )
extern
Here is the caller graph for this function:

◆ sm_mincov()

solution_t * sm_mincov ( )
extern
Here is the caller graph for this function:

◆ solution_accept()

void solution_accept ( )
extern
Here is the caller graph for this function:

◆ solution_add()

void solution_add ( )
extern
Here is the caller graph for this function:

◆ solution_alloc()

solution_t * solution_alloc ( )
extern

Definition at line 17 of file solution.c.

18{
19 solution_t *sol;
20
21 sol = ALLOC(solution_t, 1);
22 sol->cost = 0;
23 sol->row = sm_row_alloc();
24 return sol;
25}
#define ALLOC(type, num)
Definition avl.h:27
struct solution_struct solution_t
Definition mincov_int.h:35
ABC_NAMESPACE_IMPL_START sm_row * sm_row_alloc()
Definition rows.c:21
Here is the call graph for this function:
Here is the caller graph for this function:

◆ solution_choose_best()

solution_t * solution_choose_best ( )
extern
Here is the caller graph for this function:

◆ solution_dup()

solution_t * solution_dup ( )
extern
Here is the caller graph for this function:

◆ solution_free()

void solution_free ( )
extern
Here is the caller graph for this function:

◆ solution_reject()

void solution_reject ( )
extern
Here is the caller graph for this function: