CBMC
Public Member Functions | Public Attributes | List of all members
solver_hardnesst::sat_hardnesst Struct Reference

#include <solver_hardness.h>

+ Collaboration diagram for solver_hardnesst::sat_hardnesst:

Public Member Functions

sat_hardnesst & operator+= (const sat_hardnesst &other)
 

Public Attributes

size_t clauses = 0
 
size_t literals = 0
 
std::unordered_set< size_t > variables = {}
 
std::vector< size_t > clause_set = {}
 

Detailed Description

Definition at line 43 of file solver_hardness.h.

Member Function Documentation

◆ operator+=()

solver_hardnesst::sat_hardnesst & solver_hardnesst::sat_hardnesst::operator+= ( const sat_hardnesst &  other)

Definition at line 20 of file solver_hardness.cpp.

Member Data Documentation

◆ clause_set

std::vector<size_t> solver_hardnesst::sat_hardnesst::clause_set = {}

Definition at line 48 of file solver_hardness.h.

◆ clauses

size_t solver_hardnesst::sat_hardnesst::clauses = 0

Definition at line 45 of file solver_hardness.h.

◆ literals

size_t solver_hardnesst::sat_hardnesst::literals = 0

Definition at line 46 of file solver_hardness.h.

◆ variables

std::unordered_set<size_t> solver_hardnesst::sat_hardnesst::variables = {}

Definition at line 47 of file solver_hardness.h.

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