ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
vivify.hpp File Reference
#include "global.h"
#include "util.hpp"
#include <array>
#include <cstdint>
#include <vector>
Include dependency graph for vivify.hpp:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

struct  CaDiCaL::vivify_ref
 
struct  CaDiCaL::Vivifier
 

Namespaces

namespace  CaDiCaL
 

Macros

#define COUNTREF_COUNTS   2
 

Enumerations

enum class  CaDiCaL::Vivify_Mode { CaDiCaL::TIER1 , CaDiCaL::TIER2 , CaDiCaL::TIER3 , CaDiCaL::IRREDUNDANT }
 

Macro Definition Documentation

◆ COUNTREF_COUNTS

#define COUNTREF_COUNTS   2

Definition at line 20 of file vivify.hpp.