Generated on Thu Mar 22 10:39:53 2012 for Gecode by doxygen 1.6.3

Gecode::Actor Class Reference
[Programming actors]

Base-class for both propagators and branchers. More...

#include <core.hpp>

List of all members.

Public Member Functions

virtual Actorcopy (Space &home, bool share)=0
 Create copy.

Memory management



virtual size_t allocated (void) const
 Report size occupied by additionally datastructures.
virtual size_t dispose (Space &home)
 Delete actor and return its size.
static void * operator new (size_t s, Space &home)
 Allocate memory from space.
static void operator delete (void *p, Space &home)
 No-op for exceptions.

Detailed Description

Base-class for both propagators and branchers.

Definition at line 661 of file core.hpp.


Member Function Documentation

virtual Actor* Gecode::Actor::copy ( Space home,
bool  share 
) [pure virtual]

Create copy.

Implemented in CDBF, BlackHoleBranch, Warnsdorff, QueenArmies::QueenBranch, Radiotherapy::NestedSearch, SteelMill::SteelMillBranch, Gecode::Gist::StopBrancher, Gecode::Int::Arithmetic::AbsBnd< View >, Gecode::Int::Arithmetic::AbsDom< View >, Gecode::Int::Arithmetic::MaxBnd< View >, Gecode::Int::Arithmetic::NaryMaxBnd< View >, Gecode::Int::Arithmetic::MaxDom< View >, Gecode::Int::Arithmetic::NaryMaxDom< View >, Gecode::Int::Arithmetic::SqrPlusBnd< VA, VB >, Gecode::Int::Arithmetic::SqrBnd< View >, Gecode::Int::Arithmetic::SqrPlusDom< VA, VB >, Gecode::Int::Arithmetic::SqrDom< View >, Gecode::Int::Arithmetic::SqrtBnd< View >, Gecode::Int::Arithmetic::SqrtDom< View >, Gecode::Int::Arithmetic::MultZeroOne< View, pc >, Gecode::Int::Arithmetic::MultPlusBnd< Val, VA, VB, VC >, Gecode::Int::Arithmetic::MultBnd< View >, Gecode::Int::Arithmetic::MultPlusDom< Val, VA, VB, VC >, Gecode::Int::Arithmetic::MultDom< View >, Gecode::Int::Arithmetic::DivPlusBnd< Val, VA, VB, VC >, Gecode::Int::Arithmetic::DivBnd< View >, Gecode::Int::Arithmetic::DivMod< View >, Gecode::Int::BinPacking::Pack, Gecode::Int::Bool::OrTrueSubsumed< BV >, Gecode::Int::Bool::Eq< BVA, BVB >, Gecode::Int::Bool::NaryEq< BV >, Gecode::Int::Bool::Lq< BV >, Gecode::Int::Bool::NaryLq< VX >, Gecode::Int::Bool::BinOrTrue< BVA, BVB >, Gecode::Int::Bool::TerOrTrue< BV >, Gecode::Int::Bool::QuadOrTrue< BV >, Gecode::Int::Bool::Or< BVA, BVB, BVC >, Gecode::Int::Bool::NaryOr< VX, VY >, Gecode::Int::Bool::NaryOrTrue< BV >, Gecode::Int::Bool::Eqv< BVA, BVB, BVC >, Gecode::Int::Bool::NaryEqv, Gecode::Int::Bool::Clause< VX, VY >, Gecode::Int::Bool::ClauseTrue< VX, VY >, Gecode::Int::Branch::ViewValuesBrancher< ViewSel, View >, Gecode::Int::Channel::Val< View, Offset, shared >, Gecode::Int::Channel::Dom< View, Offset, shared >, Gecode::Int::Channel::LinkSingle, Gecode::Int::Channel::LinkMulti, Gecode::Int::Circuit::Val< View, Offset >, Gecode::Int::Circuit::Dom< View, Offset >, Gecode::Int::Count::EqInt< VX, VY >, Gecode::Int::Count::GqInt< VX, VY >, Gecode::Int::Count::LqInt< VX, VY >, Gecode::Int::Count::EqView< VX, VY, VZ, shr, dom >, Gecode::Int::Count::LqView< VX, VY, VZ, shr >, Gecode::Int::Count::GqView< VX, VY, VZ, shr, dom >, Gecode::Int::Cumulative::ManProp< ManTask, Cap >, Gecode::Int::Cumulative::OptProp< OptTask, Cap >, Gecode::Int::Cumulatives::Val< ViewM, ViewP, ViewU, View >, Gecode::Int::Distinct::Val< View >, Gecode::Int::Distinct::Bnd< View >, Gecode::Int::Distinct::Dom< View >, Gecode::Int::Distinct::TerDom< View >, Gecode::Int::Dom::ReRange< View >, Gecode::Int::Dom::ReIntSet< View >, Gecode::Int::Element::Int< V0, V1, Idx, Val >, Gecode::Int::Element::ViewBnd< VA, VB, VC >, Gecode::Int::Element::ViewDom< VA, VB, VC >, Gecode::Int::Element::Pair, Gecode::Int::Exec::When, Gecode::Int::Extensional::LayeredGraph< View, Val, Degree, StateIdx >, Gecode::Int::Extensional::Basic< View, shared >, Gecode::Int::Extensional::Incremental< View >, Gecode::Int::GCC::Val< Card >, Gecode::Int::GCC::Bnd< Card >, Gecode::Int::GCC::Dom< Card >, Gecode::Int::Linear::EqBin< Val, A, B >, Gecode::Int::Linear::ReEqBin< Val, A, B, Ctrl >, Gecode::Int::Linear::NqBin< Val, A, B >, Gecode::Int::Linear::LqBin< Val, A, B >, Gecode::Int::Linear::GqBin< Val, A, B >, Gecode::Int::Linear::ReLqBin< Val, A, B >, Gecode::Int::Linear::EqTer< Val, A, B, C >, Gecode::Int::Linear::NqTer< Val, A, B, C >, Gecode::Int::Linear::LqTer< Val, A, B, C >, Gecode::Int::Linear::Eq< Val, P, N >, Gecode::Int::Linear::DomEq< Val, View >, Gecode::Int::Linear::ReEq< Val, P, N, Ctrl >, Gecode::Int::Linear::Nq< Val, P, N >, Gecode::Int::Linear::Lq< Val, P, N >, Gecode::Int::Linear::ReLq< Val, P, N >, Gecode::Int::Linear::EqBoolInt< VX >, Gecode::Int::Linear::GqBoolInt< VX >, Gecode::Int::Linear::NqBoolInt< VX >, Gecode::Int::Linear::ReGqBoolInt< VX, VB >, Gecode::Int::Linear::ReEqBoolInt< VX, VB >, Gecode::Int::Linear::EqBoolView< XV, YV >, Gecode::Int::Linear::NqBoolView< XV, YV >, Gecode::Int::Linear::GqBoolView< XV, YV >, Gecode::Int::Linear::EqBoolScale< SBAP, SBAN, VX >, Gecode::Int::Linear::LqBoolScale< SBAP, SBAN, VX >, Gecode::Int::Linear::NqBoolScale< SBAP, SBAN, VX >, Gecode::Int::Member::Prop< View >, Gecode::Int::Member::ReProp< View >, Gecode::Int::NoOverlap::ManProp< Dim, d >, Gecode::Int::NoOverlap::OptProp< Dim, d >, Gecode::Int::NValues::EqInt< VY >, Gecode::Int::NValues::LqInt< VY >, Gecode::Int::NValues::GqInt< VY >, Gecode::Int::NValues::EqBool< VY >, Gecode::Int::NValues::LqBool< VY >, Gecode::Int::NValues::GqBool< VY >, Gecode::Int::Precede::Single< View >, Gecode::Int::Rel::EqDom< View0, View1 >, Gecode::Int::Rel::EqBnd< View0, View1 >, Gecode::Int::Rel::NaryEqDom< View >, Gecode::Int::Rel::NaryEqBnd< View >, Gecode::Int::Rel::NaryLqLe< View, o >, Gecode::Int::Rel::NaryNq< View >, Gecode::Int::Rel::ReEqDom< View, CtrlView >, Gecode::Int::Rel::ReEqBnd< View, CtrlView >, Gecode::Int::Rel::ReEqDomInt< View, CtrlView >, Gecode::Int::Rel::ReEqBndInt< View, CtrlView >, Gecode::Int::Rel::Nq< View >, Gecode::Int::Rel::Lq< View >, Gecode::Int::Rel::Le< View >, Gecode::Int::Rel::ReLq< View, CtrlView >, Gecode::Int::Rel::ReLqInt< View, CtrlView >, Gecode::Int::Rel::LexLqLe< View >, Gecode::Int::Rel::LexNq< View >, Gecode::Int::Sequence::Sequence< View, Val >, Gecode::Int::Sorted::Sorted< View, Perm >, Gecode::Int::Unary::ManProp< ManTask >, Gecode::Int::Unary::OptProp< OptTask >, Gecode::FunctionBranch, Gecode::ViewValBrancher< ViewSel, ValSel >, Gecode::Kernel::UnaryWait< View >, Gecode::Kernel::NaryWait< View >, Gecode::Set::Convex::Convex, Gecode::Set::Convex::ConvexHull, Gecode::Set::Distinct::AtmostOne, Gecode::Set::Element::ElementIntersection< View, View0, View1 >, Gecode::Set::Element::ElementUnion< View, View0, View1 >, Gecode::Set::Element::ElementUnionConst< SView, RView >, Gecode::Set::Element::ElementDisjoint< SView, RView >, Gecode::Set::Int::MinElement< View >, Gecode::Set::Int::NotMinElement< View >, Gecode::Set::Int::ReMinElement< View >, Gecode::Set::Int::MaxElement< View >, Gecode::Set::Int::NotMaxElement< View >, Gecode::Set::Int::ReMaxElement< View >, Gecode::Set::Int::Card< View >, Gecode::Set::Int::Match< View >, Gecode::Set::Int::ChannelInt< View >, Gecode::Set::Int::ChannelBool< View >, Gecode::Set::Int::Weights< View >, Gecode::Set::Precede::Single< View >, Gecode::Set::RelOp::SuperOfInter< View0, View1, View2 >, Gecode::Set::RelOp::SubOfUnion< View0, View1, View2 >, Gecode::Set::RelOp::Intersection< View0, View1, View2 >, Gecode::Set::RelOp::Union< View0, View1, View2 >, Gecode::Set::RelOp::IntersectionN< View0, View1 >, Gecode::Set::RelOp::UnionN< View0, View1 >, Gecode::Set::RelOp::PartitionN< View0, View1 >, Gecode::Set::Rel::Subset< View0, View1 >, Gecode::Set::Rel::NoSubset< View0, View1 >, Gecode::Set::Rel::ReSubset< View0, View1 >, Gecode::Set::Rel::Eq< View0, View1 >, Gecode::Set::Rel::ReEq< View0, View1 >, Gecode::Set::Rel::Lq< View0, View1, strict >, Gecode::Set::Rel::ReLq< View0, View1, strict >, Gecode::Set::Rel::Distinct< View0, View1 >, Gecode::Set::Rel::DistinctDoit< View0 >, Gecode::Set::Sequence::Seq, and Gecode::Set::Sequence::SeqU.

size_t Gecode::Actor::allocated ( void   )  const [virtual]

Report size occupied by additionally datastructures.

Definition at line 58 of file core.cpp.

size_t Gecode::Actor::dispose ( Space home  )  [inline, virtual]

Delete actor and return its size.

Reimplemented in CDBF, BlackHoleBranch, Warnsdorff, QueenArmies::QueenBranch, Radiotherapy::NestedSearch, SteelMill::SteelMillBranch, Gecode::Gist::StopBrancher, Gecode::Int::BinPacking::Pack, Gecode::Int::Bool::BoolBinary< BVA, BVB >, Gecode::Int::Bool::BoolTernary< BVA, BVB, BVC >, Gecode::Int::Bool::NaryLq< VX >, Gecode::Int::Bool::TerOrTrue< BV >, Gecode::Int::Bool::QuadOrTrue< BV >, Gecode::Int::Bool::NaryOr< VX, VY >, Gecode::Int::Bool::NaryOrTrue< BV >, Gecode::Int::Bool::NaryEqv, Gecode::Int::Bool::Clause< VX, VY >, Gecode::Int::Bool::ClauseTrue< VX, VY >, Gecode::Int::Channel::Base< Info, Offset, pc >, Gecode::Int::Channel::LinkMulti, Gecode::Int::Circuit::Base< View, Offset >, Gecode::Int::Count::IntBase< VX, VY >, Gecode::Int::Count::ViewBase< VX, VY, VZ >, Gecode::Int::Cumulative::ManProp< ManTask, Cap >, Gecode::Int::Cumulative::OptProp< OptTask, Cap >, Gecode::Int::Cumulatives::Val< ViewM, ViewP, ViewU, View >, Gecode::Int::Distinct::Bnd< View >, Gecode::Int::Dom::ReIntSet< View >, Gecode::Int::Element::Int< V0, V1, Idx, Val >, Gecode::Int::Element::View< VA, VB, VC, pc_ac >, Gecode::Int::Extensional::LayeredGraph< View, Val, Degree, StateIdx >, Gecode::Int::Extensional::Base< View, subscribe >, Gecode::Int::Extensional::Incremental< View >, Gecode::Int::GCC::Val< Card >, Gecode::Int::GCC::Bnd< Card >, Gecode::Int::GCC::Dom< Card >, Gecode::Int::Linear::LinBin< Val, A, B, pc >, Gecode::Int::Linear::ReLinBin< Val, A, B, pc, Ctrl >, Gecode::Int::Linear::LinTer< Val, A, B, C, pc >, Gecode::Int::Linear::Lin< Val, P, N, pc >, Gecode::Int::Linear::ReLin< Val, P, N, pc, Ctrl >, Gecode::Int::Linear::LinBoolInt< VX >, Gecode::Int::Linear::NqBoolInt< VX >, Gecode::Int::Linear::ReLinBoolInt< VX, VB >, Gecode::Int::Linear::LinBoolView< XV, YV >, Gecode::Int::Linear::LinBoolScale< SBAP, SBAN, VX, pcx >, Gecode::Int::Member::Prop< View >, Gecode::Int::Member::ReProp< View >, Gecode::Int::NoOverlap::Base< Box >, Gecode::Int::NoOverlap::ManProp< Dim, d >, Gecode::Int::NoOverlap::OptProp< Dim, d >, Gecode::Int::NValues::IntBase< VY >, Gecode::Int::NValues::EqInt< VY >, Gecode::Int::NValues::LqInt< VY >, Gecode::Int::NValues::BoolBase< VY >, Gecode::Int::Precede::Single< View >, Gecode::Int::ReUnaryPropagator< View, pc, CtrlView >, Gecode::Int::ReBinaryPropagator< View, pc, CtrlView >, Gecode::Int::ReMixBinaryPropagator< View0, pc0, View1, pc1, CtrlView >, Gecode::Int::Rel::NaryLqLe< View, o >, Gecode::Int::Rel::NaryNq< View >, Gecode::Int::Rel::LexLqLe< View >, Gecode::Int::Rel::LexNq< View >, Gecode::Int::Sequence::Sequence< View, Val >, Gecode::Int::Sorted::Sorted< View, Perm >, Gecode::Int::TaskProp< Task, pc >, Gecode::ViewBrancher< ViewSel >, Gecode::ViewValBrancher< ViewSel, ValSel >, Gecode::UnaryPropagator< View, pc >, Gecode::BinaryPropagator< View, pc >, Gecode::TernaryPropagator< View, pc >, Gecode::NaryPropagator< View, pc >, Gecode::NaryOnePropagator< View, pc >, Gecode::MixBinaryPropagator< View0, pc0, View1, pc1 >, Gecode::MixTernaryPropagator< View0, pc0, View1, pc1, View2, pc2 >, Gecode::MixNaryOnePropagator< View0, pc0, View1, pc1 >, Gecode::Kernel::UnaryWait< View >, Gecode::Kernel::NaryWait< View >, Gecode::Set::Element::ElementIntersection< View, View0, View1 >, Gecode::Set::Element::ElementUnion< View, View0, View1 >, Gecode::Set::Element::ElementUnionConst< SView, RView >, Gecode::Set::Element::ElementDisjoint< SView, RView >, Gecode::Set::Int::Match< View >, Gecode::Set::Int::ChannelInt< View >, Gecode::Set::Int::ChannelBool< View >, Gecode::Set::Int::Weights< View >, Gecode::Set::Precede::Single< View >, Gecode::Set::Rel::ReSubset< View0, View1 >, Gecode::Set::Rel::ReEq< View0, View1 >, Gecode::Set::Rel::ReLq< View0, View1, strict >, Gecode::Int::Bool::BoolBinary< BV, BV >, Gecode::Int::Channel::Base< DomInfo< View, Offset >, Offset, PC_INT_DOM >, Gecode::Int::Channel::Base< ValInfo< View >, Offset, PC_INT_VAL >, Gecode::Int::Element::View< VA, VB, VC, PC_INT_DOM >, Gecode::Int::Element::View< VA, VB, VC, PC_INT_BND >, Gecode::Int::Extensional::Base< View, false >, Gecode::Int::Extensional::Base< View >, Gecode::Int::Linear::LinBin< Val, A, B, PC_INT_BND >, Gecode::Int::Linear::LinBin< Val, A, B, PC_INT_VAL >, Gecode::Int::Linear::ReLinBin< Val, A, B, PC_INT_BND, Ctrl >, Gecode::Int::Linear::ReLinBin< Val, A, B, PC_INT_BND, BoolView >, Gecode::Int::Linear::LinTer< Val, A, B, C, PC_INT_BND >, Gecode::Int::Linear::LinTer< Val, A, B, C, PC_INT_VAL >, Gecode::Int::Linear::Lin< Val, View, View, PC_INT_DOM >, Gecode::Int::Linear::Lin< Val, P, N, PC_INT_VAL >, Gecode::Int::Linear::Lin< Val, P, N, PC_INT_BND >, Gecode::Int::Linear::ReLin< Val, P, N, PC_INT_BND, Ctrl >, Gecode::Int::Linear::ReLin< Val, P, N, PC_INT_BND, BoolView >, Gecode::Int::Linear::LinBoolScale< SBAP, SBAN, VX, PC_INT_VAL >, Gecode::Int::Linear::LinBoolScale< SBAP, SBAN, VX, PC_INT_BND >, Gecode::Int::NoOverlap::Base< ManBox< Dim, d > >, Gecode::Int::NoOverlap::Base< OptBox< Dim, d > >, Gecode::Int::ReUnaryPropagator< View, PC_INT_DOM, CtrlView >, Gecode::Int::ReUnaryPropagator< View, PC_INT_BND, CtrlView >, Gecode::Int::ReUnaryPropagator< View, PC_INT_BND, BoolView >, Gecode::Int::ReUnaryPropagator< View, PC_INT_DOM, BoolView >, Gecode::Int::ReBinaryPropagator< View, PC_INT_DOM, CtrlView >, Gecode::Int::ReBinaryPropagator< View, PC_INT_BND, CtrlView >, Gecode::Int::ReMixBinaryPropagator< View, PC_SET_ANY, Gecode::Int::IntView, Gecode::Int::PC_INT_DOM, Gecode::Int::BoolView >, Gecode::Int::TaskProp< ManTask, Int::PC_INT_DOM >, Gecode::Int::TaskProp< OptTask, Int::PC_INT_BND >, Gecode::Int::TaskProp< ManTask, Int::PC_INT_BND >, Gecode::Int::TaskProp< OptTask, Int::PC_INT_DOM >, Gecode::UnaryPropagator< View0, PC_SET_ANY >, Gecode::UnaryPropagator< BoolView, PC_BOOL_VAL >, Gecode::UnaryPropagator< SetView, PC_SET_ANY >, Gecode::BinaryPropagator< VX, PC_INT_VAL >, Gecode::BinaryPropagator< View, PC_INT_DOM >, Gecode::BinaryPropagator< View, PC_INT_VAL >, Gecode::BinaryPropagator< View, PC_INT_BND >, Gecode::BinaryPropagator< BoolView, PC_BOOL_VAL >, Gecode::BinaryPropagator< SetView, PC_SET_ANY >, Gecode::BinaryPropagator< BV, PC_BOOL_VAL >, Gecode::TernaryPropagator< IntView, PC_INT_DOM >, Gecode::TernaryPropagator< View, PC_INT_DOM >, Gecode::TernaryPropagator< View, PC_INT_BND >, Gecode::NaryPropagator< VX, PC_BOOL_NONE >, Gecode::NaryPropagator< View, PC_INT_DOM >, Gecode::NaryPropagator< View, PC_INT_VAL >, Gecode::NaryPropagator< View, Int::PC_INT_DOM >, Gecode::NaryPropagator< View, PC_INT_BND >, Gecode::NaryPropagator< View, PC_INT_NONE >, Gecode::NaryPropagator< SetView, PC_SET_ANY >, Gecode::NaryPropagator< View, PC_SET_NONE >, Gecode::NaryPropagator< BV, PC_BOOL_VAL >, Gecode::NaryOnePropagator< View, PC_INT_DOM >, Gecode::NaryOnePropagator< View, PC_INT_BND >, Gecode::NaryOnePropagator< SetView, PC_SET_ANY >, Gecode::MixBinaryPropagator< View, PC_SET_ANY, Gecode::Int::IntView, Gecode::Int::PC_INT_BND >, Gecode::MixBinaryPropagator< VA, PC_INT_DOM, VB, PC_INT_DOM >, Gecode::MixBinaryPropagator< VA, PC_INT_BND, VB, PC_INT_BND >, Gecode::MixBinaryPropagator< View0, PC_SET_CGLB, View1, PC_SET_CLUB >, Gecode::MixBinaryPropagator< View0, PC_SET_VAL, View1, PC_SET_VAL >, Gecode::MixBinaryPropagator< View, PC_SET_ANY, Gecode::Int::IntView, Gecode::Int::PC_INT_DOM >, Gecode::MixBinaryPropagator< View0, PC_INT_DOM, View1, PC_INT_DOM >, Gecode::MixBinaryPropagator< VX, PC_BOOL_VAL, VY, PC_BOOL_VAL >, Gecode::MixBinaryPropagator< View0, PC_INT_BND, View1, PC_INT_BND >, Gecode::MixBinaryPropagator< View0, PC_SET_ANY, View1, PC_SET_ANY >, Gecode::MixBinaryPropagator< View0, PC_SET_CLUB, View1, PC_SET_CGLB >, Gecode::MixBinaryPropagator< View, PC_SET_CARD, Gecode::Int::IntView, Gecode::Int::PC_INT_BND >, Gecode::MixBinaryPropagator< BoolView, PC_BOOL_VAL, IntView, PC_INT_VAL >, Gecode::MixTernaryPropagator< VA, PC_INT_BND, VB, PC_INT_BND, VC, PC_INT_BND >, Gecode::MixTernaryPropagator< View0, PC_SET_ANY, View1, PC_SET_ANY, View2, PC_SET_CLUB >, Gecode::MixTernaryPropagator< VA, PC_INT_DOM, VB, PC_INT_DOM, VC, PC_INT_DOM >, Gecode::MixTernaryPropagator< View0, PC_SET_ANY, View1, PC_SET_ANY, View2, PC_SET_ANY >, Gecode::MixNaryOnePropagator< BoolView, PC_BOOL_NONE, IntView, PC_INT_DOM >, Gecode::MixNaryOnePropagator< IntView, PC_INT_DOM, VY, PC_INT_BND >, Gecode::MixNaryOnePropagator< VX, PC_BOOL_NONE, VY, PC_BOOL_VAL >, Gecode::MixNaryOnePropagator< View0, PC_SET_ANY, View1, PC_SET_ANY >, and Gecode::MixNaryOnePropagator< Gecode::Int::BoolView, Gecode::Int::PC_BOOL_VAL, View, PC_GEN_NONE >.

Definition at line 2478 of file core.hpp.

void * Gecode::Actor::operator new ( size_t  s,
Space home 
) [inline, static]

Allocate memory from space.

Definition at line 2227 of file core.hpp.

void Gecode::Actor::operator delete ( void *  p,
Space home 
) [inline, static]

No-op for exceptions.

Definition at line 2225 of file core.hpp.


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