ed. Please inform us immediately and destroy the original transmittal.
Thank you for your cooperation.
From: Christian Schulte [mailto:cschu...@kth.se]
Sent: Montag, 13. März 2017 13:08
To: Drescher, Conrad <conrad.dresc...@sap.com>; users@gecode.org
Subject: RE: [gecode-users] Question on I
prohibited. Please inform us immediately and destroy the original transmittal.
Thank you for your cooperation.
From: Christian Schulte [mailto:cschu...@kth.se]
Sent: Montag, 13. März 2017 09:41
To: Drescher, Conrad <conrad.dresc...@sap.com>; users@gecode.org
Subject: RE: [gecode-users]
Hi there,
I have a question on the "equal" constraint between two IntVars, let's say x0
with domain [1,3,5], and x1 with domain [Int::Limits::min..Int::Limits::max].
If I write rel(home,x0,IRT_EQ,x1); x1 gets restricted to [1,3,5] as IRT_EQs
default propagation level is IPL_DOM. But if I write
on Windows without causing any harm?
Best wishes,
Conrad
-Original Message-
From: Christian Schulte [mailto:cschu...@kth.se]
Sent: Mittwoch, 13. April 2016 20:58
To: Drescher, Conrad <conrad.dresc...@sap.com>; users@gecode.org
Subject: RE: [gecode-users] Smart pointer in propagator?
* P
turn new ExampleSpace(true,*this);
}
};
int
main(int argc, char* argv[]) {
Options opt("ExampleSpace");
opt.parse(argc,argv);
Script::run<ExampleSpace,DFS,Options>(opt);
return 0;
}
-Original Message-
From: Christian Schulte [mailto:cschu...@kth.se]
Sent: D
Hi there,
we were thinking of storing a smart pointer in a propagator that is asking its
home space to call its dispose()-method upon home space deletion. In the
absence of a virtual destructor for class Propagator we're not sure it's a
smart idea. Reading MPG 30.2 did not entirely clarify the
Hello,
assume I have written some propagator (as well as a reified version thereof).
Could you point me towards making that available for usage in MiniModel's
BoolExprs, if that is possible at all? I don't think MPG has anything on this.
Cheers,
Conrad
Dr. Conrad Drescher
Senior Developer |
