#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. | |
Definition at line 147 of file filter.hpp.
|
inline |
Default constructor.
Definition at line 153 of file filter.cpp.
|
inline |
Initialize.
Definition at line 155 of file filter.cpp.
TFE::Node* Gecode::TraceFilter::TFO::StackFrame::n |
The node.
Definition at line 150 of file filter.hpp.
bool Gecode::TraceFilter::TFO::StackFrame::neg |
Whether it is negated.
Definition at line 152 of file filter.hpp.