gecode » int » sorted

propagate.hpp File Reference

#include <gecode/int/rel.hh>
#include <gecode/int/distinct.hh>

Go to the source code of this file.

Namespaces

namespace Gecode

namespace Gecode::Int

namespace Gecode::Int::Sorted

Functions

template<class View, bool Perm>

ExecStatus Gecode::Int::Sorted::bounds_propagation (Space &home, Propagator &p, ViewArray< View > &x, ViewArray< View > &y, ViewArray< View > &z, bool &repairpass, bool &nofix, bool &match_fixed)

Perform bounds consistent sortedness propagation.


Namespaces
namespace	Gecode
namespace	Gecode::Int
namespace	Gecode::Int::Sorted
Functions
template<class View, bool Perm>
ExecStatus	Gecode::Int::Sorted::bounds_propagation (Space &home, Propagator &p, ViewArray< View > &x, ViewArray< View > &y, ViewArray< View > &z, bool &repairpass, bool &nofix, bool &match_fixed)
	Perform bounds consistent sortedness propagation.