Generated on Thu Mar 16 2017 03:24:29 for Gecode by doxygen 1.8.13
Gecode::TraceFilter::TFO Class Reference

The actual object storing the shared filters. More...

#include <trace-filter.hpp>

Classes

struct  Filter
 Filter information. More...
 
class  StackFrame
 

Public Member Functions

void fill (TFE::Node *n)
 Fill the filters. More...
 
 TFO (void)
 Initialize without any filter and with fixpoint and done tracing. More...
 
 TFO (const TFE &e)
 Initialize with trace filter expression e. More...
 
 TFO (PropagatorGroup g)
 Initialize with propagator group g. More...
 
 TFO (BrancherGroup g)
 Initialize with brancher group g. More...
 
 TFO (const TFO &o)
 Copy constructor. More...
 
bool operator() (const ExecInfo &ei) const
 Check whether filter is true for execution information ei. More...
 
virtual Objectcopy (void) const
 Create a copy. More...
 
virtual ~TFO (void)
 Destructor. More...
 
- Public Member Functions inherited from Gecode::SharedHandle::Object
 Object (void)
 Initialize. More...
 
virtual ~Object (void)
 Delete shared object. More...
 

Public Attributes

int n
 The number of filters. More...
 
Filterf
 The filters. More...
 

Additional Inherited Members

- Static Public Member Functions inherited from Gecode::HeapAllocated
static void * operator new (size_t s)
 Memory management. More...
 
static void operator delete (void *p)
 Free memory allocated from heap. More...
 

Detailed Description

The actual object storing the shared filters.

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

Constructor & Destructor Documentation

◆ TFO() [1/5]

Gecode::TraceFilter::TFO::TFO ( void  )
inline

Initialize without any filter and with fixpoint and done tracing.

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

◆ TFO() [2/5]

Gecode::TraceFilter::TFO::TFO ( const TFE e)
inline

Initialize with trace filter expression e.

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

◆ TFO() [3/5]

Gecode::TraceFilter::TFO::TFO ( PropagatorGroup  g)
inline

Initialize with propagator group g.

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

◆ TFO() [4/5]

Gecode::TraceFilter::TFO::TFO ( BrancherGroup  g)
inline

Initialize with brancher group g.

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

◆ TFO() [5/5]

Gecode::TraceFilter::TFO::TFO ( const TFO o)
inline

Copy constructor.

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

◆ ~TFO()

Gecode::TraceFilter::TFO::~TFO ( void  )
virtual

Destructor.

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

Member Function Documentation

◆ fill()

void Gecode::TraceFilter::TFO::fill ( TFE::Node n)

Fill the filters.

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

◆ operator()()

bool Gecode::TraceFilter::TFO::operator() ( const ExecInfo ei) const
inline

Check whether filter is true for execution information ei.

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

◆ copy()

SharedHandle::Object * Gecode::TraceFilter::TFO::copy ( void  ) const
virtual

Create a copy.

Implements Gecode::SharedHandle::Object.

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

Member Data Documentation

◆ n

int Gecode::TraceFilter::TFO::n

The number of filters.

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

◆ f

Filter* Gecode::TraceFilter::TFO::f

The filters.

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


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