Gecode::TraceFilter::TFO::StackFrame Class Reference
#include <filter.hpp>
Public Member Functions | |
StackFrame (void) | |
Default constructor. | |
StackFrame (TFE::Node *n, bool neg) | |
Initialize. | |
Public Attributes | |
TFE::Node * | n |
The node. | |
bool | neg |
Whether it is negated. |
Detailed Description
Definition at line 147 of file filter.hpp.
Constructor & Destructor Documentation
Gecode::TraceFilter::TFO::StackFrame::StackFrame | ( | void | ) | [inline] |
Default constructor.
Definition at line 153 of file filter.cpp.
Gecode::TraceFilter::TFO::StackFrame::StackFrame | ( | TFE::Node * | n, | |
bool | neg | |||
) | [inline] |
Initialize.
Definition at line 155 of file filter.cpp.
Member Data Documentation
The node.
Definition at line 150 of file filter.hpp.
Whether it is negated.
Definition at line 152 of file filter.hpp.
The documentation for this class was generated from the following files:
- gecode/kernel/trace/filter.hpp
- gecode/kernel/trace/filter.cpp