resolution_proof.h File Reference

#include <vector>
#include <solvers/prop/literal.h>

Include dependency graph for resolution_proof.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	clauset
struct	clauset::stept
class	resolution_prooft< T >

Typedefs
typedef resolution_prooft< clauset >	simple_prooft

Typedef Documentation

simple_prooft

typedef resolution_prooft<clauset> simple_prooft

Definition at line 47 of file resolution_proof.h.