#include <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 filter.hpp.
|
inline |
Default constructor.
Definition at line 157 of file filter.cpp.
|
inline |
Initialize.
Definition at line 159 of file filter.cpp.
TFE::Node* Gecode::TraceFilter::TFO::StackFrame::n |
The node.
Definition at line 154 of file filter.hpp.
bool Gecode::TraceFilter::TFO::StackFrame::neg |
Whether it is negated.
Definition at line 156 of file filter.hpp.