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

Typedef Documentation

◆ simple_prooft

Definition at line 47 of file resolution_proof.h.