SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
Public Member Functions | Data Fields | Friends
smtrat::LOG Class Reference

#include <LOG.h>

Inheritance diagram for smtrat::LOG:
Inheritance graph
[legend]
Collaboration diagram for smtrat::LOG:
Collaboration graph
[legend]

Public Member Functions

bool isDebugEnabled ()
 

Data Fields

bool debugEnabled = false
 

Friends

class carl::Singleton< LOG >
 

Detailed Description

Definition at line 5 of file LOG.h.

Member Function Documentation

◆ isDebugEnabled()

bool smtrat::LOG::isDebugEnabled ( )
inline

Definition at line 10 of file LOG.h.

Friends And Related Function Documentation

◆ carl::Singleton< LOG >

friend class carl::Singleton< LOG >
friend

Definition at line 1 of file LOG.h.

Field Documentation

◆ debugEnabled

bool smtrat::LOG::debugEnabled = false

Definition at line 9 of file LOG.h.

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