#include <symbolicState.h>
Static Public Attributes | |
static bool | forceNewlines = false |
Definition at line 54 of file symbolicState.h.
bool SymbolicState::OStreamMode::forceNewlines = false [static] |
Definition at line 56 of file symbolicState.h.