SymbolicState::OStreamMode Class Reference

#include <symbolicState.h>

List of all members.

Static Public Attributes
static bool	forceNewlines = false

---

Detailed Description

Definition at line 54 of file symbolicState.h.

---

Member Data Documentation

bool SymbolicState::OStreamMode::forceNewlines = false [static]

Definition at line 56 of file symbolicState.h.

---

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

• symbolicState.h
• symbolicState.cpp