Base-class for both propagators and branchers. More...
#include <core.hpp>
Public Member Functions | |
virtual Actor * | copy (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. |
Base-class for both propagators and branchers.
Create copy.
Implemented in Gecode::Int::Rel::LexNq, Gecode::Int::Rel::LexLqLe, Gecode::Int::Bool::Clause, Gecode::Set::Int::Weights, SteelMill::SteelMillBranch, Gecode::Set::Int::ChannelInt, Radiotherapy::NestedSearch, Gecode::Set::Int::Match, CDBF, QueenArmies::QueenBranch, Gecode::Int::GCC::Dom, Gecode::Set::Rel::ReLq, Gecode::Int::Extensional::LayeredGraph, Gecode::Set::Element::ElementDisjoint, Gecode::Int::GCC::Bnd, Gecode::Int::Element::Int, Gecode::Set::Rel::ReEq, BlackHoleBranch, Gecode::Int::BinPacking::Pack, Gecode::Set::Element::ElementUnionConst, Gecode::Int::Distinct::Bnd, Warnsdorff, Gecode::Set::Element::ElementUnion, Gecode::Set::Rel::ReSubset, Gecode::Int::Sequence::Sequence, Gecode::Int::Cumulatives::Val, Gecode::FunctionBranch, Gecode::Kernel::NaryWait, Gecode::Set::Element::ElementIntersection, Gecode::Int::Sorted::Sorted, Gecode::Int::GCC::Val, Gecode::Gist::StopBrancher, and Gecode::Kernel::UnaryWait.
size_t Gecode::Actor::allocated | ( | void | ) | const [virtual] |
size_t Gecode::Actor::dispose | ( | Space & | home | ) | [inline, virtual] |
Delete actor and return its size.
Reimplemented in Gecode::Int::Linear::LinBoolScale, Gecode::Int::Linear::LinBoolView, Gecode::Int::Linear::ReLinBoolInt, Gecode::Int::Linear::LinBoolInt, Gecode::Int::Rel::LexNq, Gecode::Int::Rel::LexLqLe, Gecode::Int::Bool::Clause, Gecode::Int::Linear::Lin, Gecode::Set::Int::Weights, Gecode::Int::TaskProp, SteelMill::SteelMillBranch, Gecode::Int::Linear::LinTer, Radiotherapy::NestedSearch, Gecode::Set::Int::ChannelInt, Gecode::Int::NValues::BoolBase, Gecode::MixNaryOnePropagator, Gecode::Int::Count::ViewBase, Gecode::Set::Int::Match, Gecode::Int::Element::View, Gecode::Int::Extensional::Base, QueenArmies::QueenBranch, CDBF, Gecode::MixTernaryPropagator, Gecode::Int::GCC::Dom, Gecode::Int::NoOverlap::Base, Gecode::Set::Rel::ReLq, Gecode::MixBinaryPropagator, Gecode::Int::Extensional::LayeredGraph, Gecode::Int::GCC::Bnd, Gecode::Set::Element::ElementDisjoint, Gecode::Int::Element::Int, Gecode::NaryOnePropagator, Gecode::Set::Rel::ReEq, BlackHoleBranch, Gecode::Int::BinPacking::Pack, Gecode::Set::Element::ElementUnionConst, Gecode::Int::Distinct::Bnd, Gecode::NaryPropagator, Gecode::Int::Count::IntBase, Warnsdorff, Gecode::Int::ReMixBinaryPropagator, Gecode::Set::Element::ElementUnion, Gecode::Set::Rel::ReSubset, Gecode::TernaryPropagator, Gecode::Int::Sequence::Sequence, Gecode::Int::Cumulatives::Val, Gecode::Int::Linear::ReLinBin, Gecode::Int::ReBinaryPropagator, Gecode::BinaryPropagator, Gecode::Kernel::NaryWait, Gecode::ViewBrancher, Gecode::Set::Element::ElementIntersection, Gecode::Int::Bool::BoolTernary, Gecode::Int::Linear::LinBin, Gecode::Int::GCC::Val, Gecode::Int::Sorted::Sorted, Gecode::Int::Channel::Base, Gecode::Gist::StopBrancher, Gecode::Int::ReUnaryPropagator, Gecode::Int::Bool::BoolBinary, Gecode::UnaryPropagator, and Gecode::Kernel::UnaryWait.
void * Gecode::Actor::operator new | ( | size_t | s, |
Space & | home | ||
) | [inline, static] |
void Gecode::Actor::operator delete | ( | void * | p, |
Space & | home | ||
) | [inline, static] |