CBMC
Classes | Public Types | Public Attributes | List of all members
clauset Class Reference

#include <resolution_proof.h>

+ Collaboration diagram for clauset:

Classes

struct  stept
 

Public Types

typedef std::vector< stept > stepst
 

Public Attributes

bool is_root
 
bvt root_clause
 
unsigned first_clause_id
 
stepst steps
 

Detailed Description

Definition at line 17 of file resolution_proof.h.

Member Typedef Documentation

◆ stepst

typedef std::vector<stept> clauset::stepst

Definition at line 33 of file resolution_proof.h.

Member Data Documentation

◆ first_clause_id

unsigned clauset::first_clause_id

Definition at line 25 of file resolution_proof.h.

◆ is_root

bool clauset::is_root

Definition at line 20 of file resolution_proof.h.

◆ root_clause

bvt clauset::root_clause

Definition at line 23 of file resolution_proof.h.

◆ steps

stepst clauset::steps

Definition at line 34 of file resolution_proof.h.

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