Generated on Tue Apr 18 10:23:19 2017 for Gecode by doxygen 1.6.3

Gecode::TraceFilter::TFO::StackFrame Class Reference

#include <trace-filter.hpp>

List of all members.

Public Member Functions

 StackFrame (void)
 Default constructor.
 StackFrame (TFE::Node *n, bool neg)
 Initialize.

Public Attributes

TFE::Noden
 The node.
bool neg
 Whether it is negated.

Detailed Description

Definition at line 151 of file trace-filter.hpp.


Constructor & Destructor Documentation

Gecode::TraceFilter::TFO::StackFrame::StackFrame ( void   )  [inline]

Default constructor.

Definition at line 157 of file trace-filter.cpp.

Gecode::TraceFilter::TFO::StackFrame::StackFrame ( TFE::Node n,
bool  neg 
) [inline]

Initialize.

Definition at line 159 of file trace-filter.cpp.


Member Data Documentation

Whether it is negated.

Definition at line 156 of file trace-filter.hpp.


The documentation for this class was generated from the following files: