
#include <trace-filter.hpp>
Public Member Functions | |
| StackFrame (void) | |
| Default constructor. More... | |
| StackFrame (TFE::Node *n, bool neg) | |
| Initialize. More... | |
Public Attributes | |
| TFE::Node * | n |
| The node. More... | |
| bool | neg |
| Whether it is negated. More... | |
Definition at line 151 of file trace-filter.hpp.
|
inline |
Default constructor.
Definition at line 157 of file trace-filter.cpp.
|
inline |
Initialize.
Definition at line 159 of file trace-filter.cpp.
| TFE::Node* Gecode::TraceFilter::TFO::StackFrame::n |
The node.
Definition at line 154 of file trace-filter.hpp.
| bool Gecode::TraceFilter::TFO::StackFrame::neg |
Whether it is negated.
Definition at line 156 of file trace-filter.hpp.