CBMC
Public Types | Public Member Functions | Public Attributes | List of all members
resolution_prooft< T > Class Template Reference

#include <resolution_proof.h>

+ Inheritance diagram for resolution_prooft< T >:
+ Collaboration diagram for resolution_prooft< T >:

Public Types

typedef std::vector< T > clausest
 

Public Member Functions

void build_core (std::vector< bool > &in_core)
 

Public Attributes

clausest clauses
 

Detailed Description

template<class T = clauset>
class resolution_prooft< T >

Definition at line 38 of file resolution_proof.h.

Member Typedef Documentation

◆ clausest

template<class T = clauset>
typedef std::vector<T> resolution_prooft< T >::clausest

Definition at line 41 of file resolution_proof.h.

Member Function Documentation

◆ build_core()

template<class T >
void resolution_prooft< T >::build_core ( std::vector< bool > &  in_core)

Definition at line 16 of file resolution_proof.cpp.

Member Data Documentation

◆ clauses

template<class T = clauset>
clausest resolution_prooft< T >::clauses

Definition at line 42 of file resolution_proof.h.

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