#include <filter.hpp>
Public Attributes | |
Group | g |
The filter group. | |
bool | neg |
Whether the filter is negative. | |
char | what |
One bit set for each operation type. | |
Filter information.
Definition at line 139 of file filter.hpp.
Group Gecode::TraceFilter::TFO::Filter::g |
The filter group.
Definition at line 141 of file filter.hpp.
bool Gecode::TraceFilter::TFO::Filter::neg |
Whether the filter is negative.
Definition at line 143 of file filter.hpp.
char Gecode::TraceFilter::TFO::Filter::what |
One bit set for each operation type.
Definition at line 145 of file filter.hpp.