val-sel-commit.hpp
Go to the documentation of this file.
/* -*- mode: C++; c-basic-offset: 2; indent-tabs-mode: nil -*- */
/*
* Main author:
* Christian Schulte <schulte@gecode.org>
*
* Copyright:
* Christian Schulte, 2012
*
* This file is part of Gecode, the generic constraint
* development environment:
* http://www.gecode.org
*
* Permission is hereby granted, free of charge, to any person obtaining
* a copy of this software and associated documentation files (the
* "Software"), to deal in the Software without restriction, including
* without limitation the rights to use, copy, modify, merge, publish,
* distribute, sublicense, and/or sell copies of the Software, and to
* permit persons to whom the Software is furnished to do so, subject to
* the following conditions:
*
* The above copyright notice and this permission notice shall be
* included in all copies or substantial portions of the Software.
*
* THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
* EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
* MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
* NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
* LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
* OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
* WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
*
*/
namespace Gecode {
template<class _View, class _Val>
class ValSelCommitBase {
public:
typedef _View View;
typedef typename View::VarType Var;
typedef _Val Val;
public:
ValSelCommitBase(Space& home, const ValBranch<Var>& vb);
ValSelCommitBase(Space& home, ValSelCommitBase<View,Val>& vsc);
virtual Val val(const Space& home, View x, int i) = 0;
virtual ModEvent commit(Space& home, unsigned int a,
View x, int i, Val n) = 0;
virtual NGL* ngl(Space& home, unsigned int a,
View x, Val n) const = 0;
virtual void print(const Space& home, unsigned int a,
View x, int i, const Val& n,
std::ostream& o) const = 0;
virtual ValSelCommitBase<View,Val>* copy(Space& home) = 0;
virtual bool notice(void) const = 0;
virtual void dispose(Space& home) = 0;
virtual ~ValSelCommitBase(void);
static void* operator new(size_t s, Space& home);
static void operator delete(void* p, Space& home);
static void operator delete(void* p);
};
template<class ValSel, class ValCommit>
class ValSelCommit
: public ValSelCommitBase<typename ValSel::View,typename ValSel::Val> {
protected:
typedef typename ValSelCommitBase<typename ValSel::View,
typename ValSel::Val>::Var Var;
typedef typename ValSelCommitBase<typename ValSel::View,
typename ValSel::Val>::Val Val;
typedef typename ValSelCommitBase<typename ValSel::View,
typename ValSel::Val>::View View;
ValSel s;
ValCommit c;
public:
ValSelCommit(Space& home, const ValBranch<Var>& vb);
ValSelCommit(Space& home, ValSelCommit<ValSel,ValCommit>& vsc);
virtual Val val(const Space& home, View x, int i);
virtual ModEvent commit(Space& home, unsigned int a, View x, int i, Val n);
virtual NGL* ngl(Space& home, unsigned int a,
View x, Val n) const;
virtual void print(const Space& home, unsigned int a,
View x, int i, const Val& n,
std::ostream& o) const;
virtual ValSelCommit<ValSel,ValCommit>* copy(Space& home);
virtual bool notice(void) const;
virtual void dispose(Space& home);
};
template<class View, class Val>
forceinline
ValSelCommitBase<View,Val>::ValSelCommitBase(Space&,
const ValBranch<Var>&) {}
template<class View, class Val>
forceinline
ValSelCommitBase<View,Val>::
ValSelCommitBase(Space&, ValSelCommitBase<View,Val>&) {}
template<class View, class Val>
ValSelCommitBase<View,Val>::~ValSelCommitBase(void) {}
template<class View, class Val>
forceinline void
ValSelCommitBase<View,Val>::operator delete(void*) {}
template<class View, class Val>
forceinline void
ValSelCommitBase<View,Val>::operator delete(void*, Space&) {}
template<class View, class Val>
forceinline void*
ValSelCommitBase<View,Val>::operator new(size_t s, Space& home) {
return home.ralloc(s);
}
template<class ValSel, class ValCommit>
forceinline
ValSelCommit<ValSel,ValCommit>::ValSelCommit(Space& home,
const ValBranch<Var>& vb)
: ValSelCommitBase<View,Val>(home,vb), s(home,vb), c(home,vb) {}
template<class ValSel, class ValCommit>
forceinline
ValSelCommit<ValSel,ValCommit>::ValSelCommit(Space& home,
ValSelCommit<ValSel,ValCommit>& vsc)
: ValSelCommitBase<View,Val>(home,vsc),
s(home,vsc.s), c(home,vsc.c) {}
template<class ValSel, class ValCommit>
typename ValSelCommit<ValSel,ValCommit>::Val
ValSelCommit<ValSel,ValCommit>::val(const Space& home, View x, int i) {
return s.val(home,x,i);
}
template<class ValSel, class ValCommit>
ModEvent
ValSelCommit<ValSel,ValCommit>::commit(Space& home, unsigned int a,
View x, int i, Val n) {
return c.commit(home,a,x,i,n);
}
template<class ValSel, class ValCommit>
NGL*
ValSelCommit<ValSel,ValCommit>::ngl(Space& home, unsigned int a,
View x, Val n) const {
return c.ngl(home, a, x, n);
}
template<class ValSel, class ValCommit>
void
ValSelCommit<ValSel,ValCommit>::print(const Space& home, unsigned int a,
View x, int i, const Val& n,
std::ostream& o) const {
c.print(home,a,x,i,n,o);
}
template<class ValSel, class ValCommit>
ValSelCommit<ValSel,ValCommit>*
ValSelCommit<ValSel,ValCommit>::copy(Space& home) {
return new (home) ValSelCommit<ValSel,ValCommit>(home,*this);
}
template<class ValSel, class ValCommit>
bool
ValSelCommit<ValSel,ValCommit>::notice(void) const {
return s.notice() || c.notice();
}
template<class ValSel, class ValCommit>
void
ValSelCommit<ValSel,ValCommit>::dispose(Space& home) {
s.dispose(home);
c.dispose(home);
}
}
// STATISTICS: kernel-branch
Gecode::NGL
No-good literal recorded during search.
Definition core.hpp:1340
Gecode::Space
Computation spaces.
Definition core.hpp:1742
Gecode::ValBranch
Value branching information.
Definition val.hpp:41
Gecode::ValCommit
Base class for value commit.
Definition val-commit.hpp:44
Gecode::ValSelCommitBase::~ValSelCommitBase
virtual ~ValSelCommitBase(void)
Unused destructor.
Definition val-sel-commit.hpp:138
Gecode::ValSelCommitBase::commit
virtual ModEvent commit(Space &home, unsigned int a, View x, int i, Val n)=0
Commit view x at position i to value n for alternative a.
Gecode::ValSelCommitBase::Var
View::VarType Var
Corresponding variable type.
Definition val-sel-commit.hpp:49
Gecode::ValSelCommitBase::val
virtual Val val(const Space &home, View x, int i)=0
Return value of view x at position i.
Gecode::ValSelCommitBase::View
_View View
View type.
Definition val-sel-commit.hpp:47
Gecode::ValSelCommitBase::copy
virtual ValSelCommitBase< View, Val > * copy(Space &home)=0
Perform cloning.
Gecode::ValSelCommitBase::dispose
virtual void dispose(Space &home)=0
Delete value selection.
Gecode::ValSelCommitBase::print
virtual void print(const Space &home, unsigned int a, View x, int i, const Val &n, std::ostream &o) const =0
Print on o branch for alternative a, view x at position i, and value n.
Gecode::ValSelCommitBase::notice
virtual bool notice(void) const =0
Whether dispose must always be called (that is, notice is needed).
Gecode::ValSelCommitBase::ngl
virtual NGL * ngl(Space &home, unsigned int a, View x, Val n) const =0
Create no-good literal for choice c and alternative a.
Gecode::ValSelCommitBase::ValSelCommitBase
ValSelCommitBase(Space &home, ValSelCommitBase< View, Val > &vsc)
Constructor for cloning.
Definition val-sel-commit.hpp:136
Gecode::ValSelCommitBase::ValSelCommitBase
ValSelCommitBase(Space &home, const ValBranch< Var > &vb)
Constructor for initialization.
Definition val-sel-commit.hpp:131
Gecode::ValSelCommitBase::Val
_Val Val
Value type.
Definition val-sel-commit.hpp:51
Gecode::ValSelCommit
Class for value selection and commit.
Definition val-sel-commit.hpp:91
Gecode::ValSelCommit::copy
virtual ValSelCommit< ValSel, ValCommit > * copy(Space &home)
Perform cloning.
Definition val-sel-commit.hpp:198
Gecode::ValSelCommit::Val
ValSelCommitBase< typenameValSel::View, typenameValSel::Val >::Val Val
Definition val-sel-commit.hpp:96
Gecode::ValSelCommit::Var
ValSelCommitBase< typenameValSel::View, typenameValSel::Val >::Var Var
Definition val-sel-commit.hpp:94
Gecode::ValSelCommit::c
ValCommit c
The commit object used.
Definition val-sel-commit.hpp:102
Gecode::ValSelCommit::s
ValSel s
The value selection object used.
Definition val-sel-commit.hpp:100
Gecode::ValSelCommit::print
virtual void print(const Space &home, unsigned int a, View x, int i, const Val &n, std::ostream &o) const
Print on o branch for alternative a, view x at position i, and value n.
Definition val-sel-commit.hpp:190
Gecode::ValSelCommit::val
virtual Val val(const Space &home, View x, int i)
Return value of view x at position i.
Definition val-sel-commit.hpp:170
Gecode::ValSelCommit::commit
virtual ModEvent commit(Space &home, unsigned int a, View x, int i, Val n)
Commit view x at position i to value n for alternative a.
Definition val-sel-commit.hpp:176
Gecode::ValSelCommit::View
ValSelCommitBase< typenameValSel::View, typenameValSel::Val >::View View
Definition val-sel-commit.hpp:98
Gecode::ValSelCommit::notice
virtual bool notice(void) const
Whether dispose must always be called (that is, notice is needed).
Definition val-sel-commit.hpp:204
Gecode::ValSelCommit::ngl
virtual NGL * ngl(Space &home, unsigned int a, View x, Val n) const
Create no-good literal for choice c and alternative a.
Definition val-sel-commit.hpp:183
Gecode::ValSelCommit::dispose
virtual void dispose(Space &home)
Delete value selection.
Definition val-sel-commit.hpp:210
Gecode::ValSelCommit::ValSelCommit
ValSelCommit(Space &home, const ValBranch< Var > &vb)
Constructor for initialization.
Definition val-sel-commit.hpp:157
Gecode::ValSel
Base class for value selection.
Definition val-sel.hpp:44
Gecode::ValSel::Val
_Val Val
Value type.
Definition val-sel.hpp:51
Gecode::ValSel::View
_View View
View type.
Definition val-sel.hpp:47
Gecode
Gecode toplevel namespace
Gecode::ModEvent
int ModEvent
Type for modification events.
Definition core.hpp:62
forceinline
#define forceinline
Definition config.hpp:187