
#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.