cprover
Loading...
Searching...
No Matches
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: