Generated on Mon Jul 27 2020 00:00:00 for Gecode by doxygen 1.8.18
Gecode::Int::Bool::Clause< VX, VY >::Tagged Class Reference

Advisors for views (tagged whether for x or y) More...

#include <bool.hh>

Public Member Functions

 Tagged (Space &home, Propagator &p, Council< Tagged > &c, bool x)
 Create tagged advisor. More...
 
 Tagged (Space &home, Tagged &a)
 Clone tagged advisor a. More...
 
- Public Member Functions inherited from Gecode::Advisor
template<class A >
 Advisor (Space &home, Propagator &p, Council< A > &c)
 Constructor for creation. More...
 
 Advisor (Space &home, Advisor &a)
 Copying constructor. More...
 
const ViewTraceInfooperator() (const Space &home) const
 Provide access to view trace information. More...
 
template<class A >
void dispose (Space &home, Council< A > &c)
 Dispose the advisor. More...
 

Public Attributes

const bool x
 Whether advises a view for x or y. More...
 

Additional Inherited Members

- Static Public Member Functions inherited from Gecode::Advisor
static void * operator new (size_t s, Space &home)
 Allocate memory from space. More...
 
static void operator delete (void *p, Space &home)
 No-op for exceptions. More...
 
- Protected Member Functions inherited from Gecode::Advisor
Propagatorpropagator (void) const
 Return the advisor's propagator. More...
 

Detailed Description

template<class VX, class VY>
class Gecode::Int::Bool::Clause< VX, VY >::Tagged

Advisors for views (tagged whether for x or y)

Definition at line 503 of file bool.hh.

Constructor & Destructor Documentation

◆ Tagged() [1/2]

template<class VX , class VY >
Gecode::Int::Bool::Clause< VX, VY >::Tagged::Tagged ( Space home,
Propagator p,
Council< Tagged > &  c,
bool  x 
)
inline

Create tagged advisor.

Definition at line 193 of file clause.hpp.

◆ Tagged() [2/2]

template<class VX , class VY >
Gecode::Int::Bool::Clause< VX, VY >::Tagged::Tagged ( Space home,
Tagged a 
)
inline

Clone tagged advisor a.

Definition at line 199 of file clause.hpp.

Member Data Documentation

◆ x

template<class VX , class VY >
const bool Gecode::Int::Bool::Clause< VX, VY >::Tagged::x

Whether advises a view for x or y.

Definition at line 506 of file bool.hh.


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