SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
ClauseChain.h File Reference
Include dependency graph for ClauseChain.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Data Structures

class  smtrat::mcsat::ClauseChain
 An explanation is either a single clause or a chain of clauses, satisfying the following properties: More...
 
struct  smtrat::mcsat::ClauseChain::Link
 

Namespaces

 smtrat
 Class to create the formulas for axioms.
 
 smtrat::mcsat
 

Functions

std::ostream & smtrat::mcsat::operator<< (std::ostream &stream, const ClauseChain::Link &link)
 
std::ostream & smtrat::mcsat::operator<< (std::ostream &stream, const ClauseChain &chain)