48 : _r(0), _fc(fc), _tc(tc), _fr(fr), _tr(tr) {
51 if (fc >= tc || fr >= tr) {
52 _fc=0; _tc=0; _fr=0; _tr=0;
59 for (
int h = fr; h < tr; h++)
60 for (
int w = fc; w < tc; w++)
67 for (
int i = 0;
i < _r.size()/2;
i++)
132 :
_a(a), _w(w), _h(h) {
133 if ((_w * _h) != _a.size())
140 : _a(a), _w(n), _h(n) {
141 if (n*n != _a.size())
160 if ((c >= _w) || (r >= _h))
168 if ((c >= _w) || (r >= _h))
176 return Slice<A>(*
this, fc, tc, fr, tr);
191 template<
class Char,
class Traits,
class A>
192 std::basic_ostream<Char,Traits>&
193 operator <<(std::basic_ostream<Char,Traits>& os,
const Matrix<A>& m) {
194 std::basic_ostringstream<Char,Traits> s;
195 s.copyfmt(os); s.
width(0);
196 for (
int i=0;
i<m.height();
i++) {
197 for (
int j=0; j<m.width(); j++) {
202 return os << s.str();
205 template<
class Char,
class Traits,
class A>
206 std::basic_ostream<Char,Traits>&
207 operator <<(std::basic_ostream<Char,Traits>& os,
const Slice<A>& s) {
208 return os << static_cast<typename Slice<A>::ArgsType>(s);
232 #ifdef GECODE_HAS_SET_VARS Slice< A > col(int c) const
Access column c.
Exception: Argument out of range
void element(Home home, const Matrix< IntArgs > &m, IntVar x, IntVar y, IntVar z, IntPropLevel ipl=IPL_DEF)
Element constraint for matrix.
int height(void) const
Return the height of the matrix.
Slice< A > slice(int fc, int tc, int fr, int tr) const
Access slice of the matrix.
ArrayTraits< A >::ValueType ValueType
The type of elements of this array.
Gecode::FloatVal c(-8, 8)
Gecode::IntArgs i(4, 1, 2, 3, 4)
int n
Number of negative literals for node type.
Slice & reverse(void)
Reverses the contents of the slice, and returns a reference to it.
Matrix(A a, int w, int h)
Basic constructor.
FloatVal operator+(const FloatVal &x)
ArrayTraits< A >::ArgsType ArgsType
The type of the Args-array type for ValueType values.
Post propagator for SetVar SetOpType SetVar SetRelType SetVar z
int width(void) const
Return the width of the matrix.
Boolean integer variables.
Post propagator for SetVar SetOpType SetVar SetRelType r
ArrayTraits< A >::ArgsType ArgsType
The type of the Args-array type for ValueType values.
IntPropLevel
Propagation levels for integer propagators.
Post propagator for SetVar SetOpType SetVar y
struct Gecode::@585::NNF::@62::@64 a
For atomic nodes.
Slice< A > row(int r) const
Access row r.
ValueType & operator()(int c, int r)
Access element (c, r) of the matrix.
Post propagator for SetVar x
Matrix-interface for arrays.
Traits of arrays in Gecode.
Gecode toplevel namespace
Slice(const Matrix< A > &a, int fc, int tc, int fr, int tr)
Construct slice.
ArgsType const get_array(void) const
Return an Args-array of the contents of the matrix.
Exception: Sizes of arguments does not match
Home class for posting propagators
IntRelType swap(IntRelType irt)
Return swapped relation type of irt.