ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Public Member Functions | Public Attributes | List of all members
CaDiCaL::Inc Struct Reference

#include <limit.hpp>

Public Member Functions

 Inc ()
 

Public Attributes

int64_t flush
 
int64_t stabilize
 
int64_t conflicts
 
int64_t decisions
 
int64_t preprocessing
 
int64_t localsearch
 

Detailed Description

Definition at line 121 of file limit.hpp.

Constructor & Destructor Documentation

◆ Inc()

CaDiCaL::Inc::Inc ( )

Definition at line 28 of file cadical_limit.cpp.

28 {
29 memset (this, 0, sizeof *this);
30 decisions = conflicts = -1; // unlimited
31}
CaDiCaL::Inc::decisions
int64_t decisions
Definition limit.hpp:125
CaDiCaL::Inc::conflicts
int64_t conflicts
Definition limit.hpp:124
memset
char * memset()
Here is the call graph for this function:

Member Data Documentation

◆ conflicts

int64_t CaDiCaL::Inc::conflicts

Definition at line 124 of file limit.hpp.

◆ decisions

int64_t CaDiCaL::Inc::decisions

Definition at line 125 of file limit.hpp.

◆ flush

int64_t CaDiCaL::Inc::flush

Definition at line 122 of file limit.hpp.

◆ localsearch

int64_t CaDiCaL::Inc::localsearch

Definition at line 127 of file limit.hpp.

◆ preprocessing

int64_t CaDiCaL::Inc::preprocessing

Definition at line 126 of file limit.hpp.

◆ stabilize

int64_t CaDiCaL::Inc::stabilize

Definition at line 123 of file limit.hpp.

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