gecoder-with-gecode 0.7.1

data/ext/gecode-1.3.1/contribs/graph/Makefile

@@ -0,0 +1,167 @@
+# Author Gr�goire Dooms
+# Copied from Gecode Makefile.in
+# The gecode configure script makes the Makefile.in from this Makefile.in.in
+# Then the cp(Graph) configure script makes the Makefile from the Makefile.in
+
+# get variables from top Makefile
+#
+gecode_top_srcdir = $(top_srcdir)
+cpgraph_top_srcdir = $(curdir)
+
+
+KERNELDLL := $(KERNELDLL:%=../../%)
+SETDLL := $(SETDLL:%=../../%)
+INTDLL := $(INTDLL:%=../../%)
+SUPPORTOBJ := $(SUPPORTOBJ:%=../../%)
+
+ifeq "$(LIBPREFIX)" "$(LINKPREFIX)"
+LINKSET:=../../$(LINKSET)
+LINKKERNEL:=../../$(LINKKERNEL)
+LINKINT:=../../$(LINKINT)
+LINKMM:=../../$(LINKMM)
+LINKSEARCH:=../../$(LINKSEARCH)
+LINKALL := $(LINKMM) $(LINKSET) $(LINKINT) $(LINKSEARCH) $(LINKKERNEL)
+else
+EXTRALINKFLAGS := -L../..
+endif
+
+#
+# GRAPH COMPONENTS
+#
+
+GRAPHSRC0 = view/arcnode.cc 
+GRAPHHDR0 = view/outadjsets.icc view/constant.icc view/arcnode.hh view/nodearcsets.icc graphutils.icc  var.icc view.icc graphutils.h view/boundsgraphs.icc view/prop.icc path/path.icc path/pathgraphs.icc path.hh path.icc
+#GRAPHHDR0 = @GRAPHHDR@
+
+
+GRAPHSRC		= $(GRAPHSRC0)
+GRAPHHDR		= graph.hh $(GRAPHHDR0)
+GRAPHOBJ		= $(GRAPHSRC:%.cc=%$(OBJSUFFIX))
+GRAPHFLAGS      = -I/usr/local/boost-cvs/ -I../.. -I../../gecode $(EXTRALINKFLAGS)
+GRAPHDLL		= $(LIBPREFIX)graph$(DLLSUFFIX)
+GRAPHSTATICLIB	= $(LIBPREFIX)graph$(STATICLIBSUFFIX)
+GRAPHLIB		= $(LIBPREFIX)graph$(LIBSUFFIX)
+LINKGRAPH      	= $(LINKPREFIX)graph$(LINKSUFFIX)
+#GRAPHBUILDDIRS	= view
+
+ifeq "$(LIBPREFIX)" "$(LINKPREFIX)"
+LINKGRAPH := $(LINKGRAPH)
+else
+EXTRALINKFLAGS := -L../..
+endif
+
+LINKALL := $(LINKALL) $(LINKGRAPH)
+
+#
+# GRAPH EXAMPLES
+#
+
+GRAPHEXAMPLESRC0 = cpgraph-basic cpgraph-path cpgraph-complement cpgraph-path2 cpgraph-instUB cpgraph-pathcost
+GRAPHEXAMPLESRC  = $(GRAPHEXAMPLESRC0:%=examples/%.cc)
+GRAPHEXAMPLEOBJ  = $(GRAPHEXAMPLESRC:%.cc=%$(OBJSUFFIX))
+GRAPHEXAMPLESBJ  = $(GRAPHEXAMPLESRC:%.cc=%$(SBJSUFFIX))
+GRAPHEXAMPLEEXE  = $(GRAPHEXAMPLESRC:%.cc=%$(EXESUFFIX))
+GRAPHEXAMPLEBUILDDIRS = examples/
+
+GRAPHEXAMPLEHDR0 = $(gecode_top_srcdir)/support.hh $(gecode_top_srcdir)/support.icc $(gecode_top_srcdir)/timer.hh
+GRAPHEXAMPLEHDR  = $(GRAPHEXAMPLEHDR0:%=../../examples/%) $(GRAPHHDR)
+
+ALLLIB :=  $(ALLLIB) $(GRAPHLIB) 
+
+
+LIBTARGETS = $(GRAPHDLL) $(GRAPHLIB)
+
+all : $(LIBTARGETS) $(GRAPHEXAMPLEEXE)
+
+#
+# Object targets
+#
+
+
+examples/%$(OBJSUFFIX): examples/%.cc
+	$(CXX) $(CXXFLAGS) $(EXAMPLES_EXTRA_CXXFLAGS) $(GRAPHFLAGS)\
+	-c -o $@  $<
+examples/%$(SBJSUFFIX): examples/%.cc
+	$(CXX) $(CXXFLAGS) $(EXAMPLES_EXTRA_CXXFLAGS) $(GRAPHFLAGS)\
+	-S -o $@  $<
+
+%$(OBJSUFFIX): %.cc
+	$(CXX) $(CXXFLAGS) -DGECODE_BUILD_GRAPH $(GRAPHFLAGS)\
+	-c -o $@  $<
+%$(SBJSUFFIX): %.cc
+	$(CXX) $(CXXFLAGS) -DGECODE_BUILD_GRAPH  $(GRAPHFLAGS)\
+	-S -o $@  $<
+
+#
+# DLL Targets
+#
+
+ifeq "$(DLLSUFFIX)" "$(LIBSUFFIX)" 
+#linux 
+$(GRAPHDLL): $(GRAPHOBJ) $(KERNELDLL) $(INTDLL) $(SETDLL)
+	$(CXX) $(DLLFLAGS) $(GRAPHOBJ)  $(GRAPHFLAGS)\
+		-L. $(LINKKERNEL) $(LINKINT) \
+		-o $(GRAPHDLL) &&\
+	$(CREATELINK) $@ $(@:%$(DLLSUFFIX)=%$(SOLINKSUFFIX)) && \
+	$(CREATELINK) $@ $(@:%$(DLLSUFFIX)=%$(SOSUFFIX))
+else
+#win
+$(GRAPHDLL) $(GRAPHLIB): $(GRAPHOBJ) $(KERNELDLL) $(INTDLL) $(SETDLL)
+	$(CXX) $(DLLFLAGS) $(GRAPHOBJ)  $(GRAPHFLAGS)\
+		-L. $(LINKKERNEL) $(LINKINT) $(LINKSET) \
+		-o $(GRAPHDLL)
+endif
+
+# 
+# EXE targets
+#
+#
+
+
+.PRECIOUS: examples/%$(OBJSUFFIX)
+examples/%$(EXESUFFIX): examples/%$(OBJSUFFIX) $(SUPPORTOBJ) $(ALLIB)
+	$(CXX) -o $@ $< $(SUPPORTOBJ) $(DLLPATH) $(CXXFLAGS) $(GRAPHFLAGS)\
+	$(LDFLAGS) $(LINKALL)
+CXXFLAGS := $(CXXFLAGS) $(GRAPHFLAGS) 
+
+	
+.PHONY: doc
+doc: $(GRAPHHDR) $(GRAPHSRC) 
+	mkdir -p doc/html
+	doxygen doxygen.conf
+
+#
+# Autoconf
+#
+
+configure: configure.ac 
+	autoconf
+config.status: configure
+	../../config.status --recheck
+	./config.status --recheck
+Makefile: Makefile.in config.status
+	./config.status
+Makefile.in : Makefile.in.in ../../config.status
+	../../config.status --file $@:$<
+
+
+.PHONY: clean veryclean distclean
+localclean:
+	find  examples -perm +u+x -not -type d -exec rm '{}' ';'
+	rm libgecodegraph.so
+
+clean:
+	$(RMF) $(GRAPHOBJ) $(GRAPHSBJ)
+
+veryclean: clean
+	$(RMF) $(LIBTARGETS)
+	$(RMF) $(LIBTARGETS:%$(DLLSUFFIX)=%.exp) $(LIBTARGETS:%$(DLLSUFFIX)=%.lib)
+	$(RMF) $(LIBTARGETS:%$(DLLSUFFIX)=%.ilk) $(LIBTARGETS:%$(DLLSUFFIX)=%.pdb)
+	$(RMF) $(GRAPHEXAMPLEEXE:%$(EXESUFFIX)=%.pdb)
+	$(RMF) $(GRAPHEXAMPLEEXE:%$(EXESUFFIX)=%$(OBJSUFFIX))
+	$(RMF) $(GRAPHEXAMPLEEXE:%$(EXESUFFIX)=%$(SBJSUFFIX))
+	$(RMF) doc CPGraphReference.chm 
+	$(RMF) $(GRAPHEXAMPLEEXE)
+
+distclean: veryclean
+	$(RMF) config.log config.status Makefile.in

data/ext/gecode-1.3.1/contribs/graph/Makefile.in.in

@@ -0,0 +1,169 @@
+# Author Gr�goire Dooms
+# Copied from Gecode Makefile.in
+# The gecode configure script makes the Makefile.in from this Makefile.in.in
+# Then the cp(Graph) configure script makes the Makefile from the Makefile.in
+
+# get variables from top Makefile
+#
+gecode_top_srcdir = $(top_srcdir)
+cpgraph_top_srcdir = $(curdir)
+
+RMF = rm -f
+
+KERNELDLL := $(KERNELDLL:%=../../%)
+SETDLL := $(SETDLL:%=../../%)
+INTDLL := $(INTDLL:%=../../%)
+SUPPORTOBJ := $(SUPPORTOBJ:%=../../%)
+
+ifeq "$(LIBPREFIX)" "$(LINKPREFIX)"
+LINKSET:=../../$(LINKSET)
+LINKKERNEL:=../../$(LINKKERNEL)
+LINKINT:=../../$(LINKINT)
+LINKMM:=../../$(LINKMM)
+LINKSEARCH:=../../$(LINKSEARCH)
+LINKALL := $(LINKMM) $(LINKSET) $(LINKINT) $(LINKSEARCH) $(LINKKERNEL)
+else
+EXTRALINKFLAGS := -L../..
+endif
+
+#
+# GRAPH COMPONENTS
+#
+
+GRAPHSRC0 = view/arcnode.cc 
+GRAPHHDR0 = view/outadjsets.icc view/constant.icc view/arcnode.hh view/nodearcsets.icc graphutils.icc  var.icc view.icc graphutils.h view/boundsgraphs.icc view/prop.icc path/path.icc path/pathgraphs.icc path.hh path.icc
+#GRAPHHDR0 = @GRAPHHDR@
+
+
+GRAPHSRC		= $(GRAPHSRC0)
+GRAPHHDR		= graph.hh $(GRAPHHDR0)
+GRAPHOBJ		= $(GRAPHSRC:%.cc=%$(OBJSUFFIX))
+GRAPHFLAGS      = -I@BOOST_DIR@ -I../.. -I../../gecode $(EXTRALINKFLAGS)
+GRAPHDLL		= $(LIBPREFIX)@GRAPH@$(DLLSUFFIX)
+GRAPHSTATICLIB	= $(LIBPREFIX)@GRAPH@$(STATICLIBSUFFIX)
+GRAPHLIB		= $(LIBPREFIX)@GRAPH@$(LIBSUFFIX)
+LINKGRAPH      	= $(LINKPREFIX)@GRAPH@$(LINKSUFFIX)
+#GRAPHBUILDDIRS	= view
+
+ifeq "$(LIBPREFIX)" "$(LINKPREFIX)"
+LINKGRAPH := $(LINKGRAPH)
+else
+EXTRALINKFLAGS := -L../..
+endif
+
+LINKALL := $(LINKALL) $(LINKGRAPH)
+
+#
+# GRAPH EXAMPLES
+#
+
+GRAPHEXAMPLESRC0 = cpgraph-basic cpgraph-path cpgraph-complement cpgraph-path2 cpgraph-instUB cpgraph-pathcost
+GRAPHEXAMPLESRC  = $(GRAPHEXAMPLESRC0:%=examples/%.cc)
+GRAPHEXAMPLEOBJ  = $(GRAPHEXAMPLESRC:%.cc=%$(OBJSUFFIX))
+GRAPHEXAMPLESBJ  = $(GRAPHEXAMPLESRC:%.cc=%$(SBJSUFFIX))
+GRAPHEXAMPLEEXE  = $(GRAPHEXAMPLESRC:%.cc=%$(EXESUFFIX))
+GRAPHEXAMPLEBUILDDIRS = examples/
+
+GRAPHEXAMPLEHDR0 = $(gecode_top_srcdir)/support.hh $(gecode_top_srcdir)/support.icc $(gecode_top_srcdir)/timer.hh
+GRAPHEXAMPLEHDR  = $(GRAPHEXAMPLEHDR0:%=../../examples/%) $(GRAPHHDR)
+
+ALLLIB :=  $(ALLLIB) $(GRAPHLIB) 
+
+
+LIBTARGETS = $(GRAPHDLL) $(GRAPHLIB)
+
+all : $(LIBTARGETS) $(GRAPHEXAMPLEEXE)
+
+#
+# Object targets
+#
+
+
+examples/%$(OBJSUFFIX): examples/%.cc
+	$(CXX) $(CXXFLAGS) $(EXAMPLES_EXTRA_CXXFLAGS) $(GRAPHFLAGS) \
+	@COMPILEOBJ@$@ @COMPILERIN@ $<
+examples/%$(SBJSUFFIX): examples/%.cc
+	$(CXX) $(CXXFLAGS) $(EXAMPLES_EXTRA_CXXFLAGS) $(GRAPHFLAGS) \
+	@COMPILESBJ@$@ @COMPILERIN@ $<
+
+%$(OBJSUFFIX): %.cc
+	$(CXX) $(CXXFLAGS) -DGECODE_BUILD_GRAPH $(GRAPHFLAGS) \
+	@COMPILEOBJ@$@ @COMPILERIN@ $<
+%$(SBJSUFFIX): %.cc
+	$(CXX) $(CXXFLAGS) -DGECODE_BUILD_GRAPH  $(GRAPHFLAGS) \
+	@COMPILESBJ@$@ @COMPILERIN@ $<
+
+#
+# DLL Targets
+#
+
+ifeq "$(DLLSUFFIX)" "$(LIBSUFFIX)" 
+#linux 
+$(GRAPHDLL): $(GRAPHOBJ) $(KERNELDLL) $(INTDLL) $(SETDLL)
+	$(CXX) $(DLLFLAGS) $(GRAPHOBJ)  $(GRAPHFLAGS) \
+		@DLLPATH@ $(LINKKERNEL) $(LINKINT) \
+		@LINKOUTPUT@$(GRAPHDLL) &&\
+	$(CREATELINK) $@ $(@:%$(DLLSUFFIX)=%$(SOLINKSUFFIX)) && \
+	$(CREATELINK) $@ $(@:%$(DLLSUFFIX)=%$(SOSUFFIX))
+else
+#win
+$(GRAPHDLL) $(GRAPHLIB): $(GRAPHOBJ) $(KERNELDLL) $(INTDLL) $(SETDLL)
+	$(CXX) $(DLLFLAGS) $(GRAPHOBJ)  $(GRAPHFLAGS) \
+		@DLLPATH@ $(LINKKERNEL) $(LINKINT) $(LINKSET) \
+		@LINKOUTPUT@$(GRAPHDLL)
+endif
+
+# 
+# EXE targets
+#
+#
+
+
+.PRECIOUS: examples/%$(OBJSUFFIX)
+examples/%$(EXESUFFIX): examples/%$(OBJSUFFIX) $(SUPPORTOBJ) $(ALLIB)
+	$(CXX) -o $@ $< $(SUPPORTOBJ) $(DLLPATH) $(CXXFLAGS) $(GRAPHFLAGS) \
+	$(LDFLAGS) $(LINKALL)
+CXXFLAGS := $(CXXFLAGS) $(GRAPHFLAGS) 
+
+	
+.PHONY: doc
+doc: $(GRAPHHDR) $(GRAPHSRC) 
+	mkdir -p doc/html
+	doxygen doxygen.conf
+
+#
+# Autoconf
+#
+
+configure: configure.ac 
+	autoconf
+config.status: configure
+	../../config.status --recheck
+	./config.status --recheck
+Makefile: Makefile.in config.status
+	./config.status
+Makefile.in : Makefile.in.in ../../config.status
+	../../config.status --file $@:$<
+
+
+.PHONY: clean veryclean distclean
+localclean:
+	find  examples -perm +u+x -not -type d -exec rm '{}' ';'
+	rm libgecodegraph.so
+
+clean:
+	$(RMF) $(GRAPHOBJ) $(GRAPHSBJ)
+
+veryclean: clean
+	$(RMF) $(LIBTARGETS)
+	$(RMF) $(LIBTARGETS:%$(DLLSUFFIX)=%.exp) $(LIBTARGETS:%$(DLLSUFFIX)=%.lib)
+	$(RMF) $(LIBTARGETS:%$(DLLSUFFIX)=%.ilk) $(LIBTARGETS:%$(DLLSUFFIX)=%.pdb)
+	$(RMF) $(GRAPHEXAMPLEEXE:%$(EXESUFFIX)=%.pdb)
+	$(RMF) $(GRAPHEXAMPLEEXE:%$(EXESUFFIX)=%$(OBJSUFFIX))
+	$(RMF) $(GRAPHEXAMPLEEXE:%$(EXESUFFIX)=%$(SBJSUFFIX))
+	$(RMF) doc CPGraphReference.chm 
+	$(RMF) $(GRAPHEXAMPLEEXE)
+	$(RMF) $(GRAPHDLL)
+
+distclean: veryclean
+	$(RMF) config.log config.status Makefile.in

data/ext/gecode-1.3.1/contribs/graph/TODO

@@ -0,0 +1,28 @@
+ TEsts TEsts and more tests 
+
+make depend 
+make install
+
+Web: cronjob pour g�n�rer la  doc et la page
+fix Makefile to be able to either link the doc  to local or remote doc
+
+--
+
+Var: 2�
+    make a simple graph var
+
+
+Template nodearcGraphView with the arcnode parameter 
+    Design a simple Tail*MumNodes+Head ArcNode (must know numNodes)
+
+Path:
+    remove weakly connected checking
+    use smart pointer for the costs
+    condensation des morceaux de chemin/retrait des loops == partie des degr�s + Nocycle
+
+
+ArcSetView<GView>
+
+Gecode:
+automativcally enable tagfile=yes if contribs are done and doc is enabled
+int minimodel = q[0](intvar) = 3 should work

data/ext/gecode-1.3.1/contribs/graph/binarysimple.hh

@@ -0,0 +1,82 @@
+
+/*
+ *  Main authors:
+ *     Gr�goire Dooms <dooms@info.ucl.ac.be>
+ *
+ *  Copyright:
+ *     Gr�goire Dooms (Universit� catholique de Louvain), 2005
+ *
+ *  Last modified:
+ *     $Date: 2005-11-29 10:57:21 +0100 (Tue, 29 Nov 2005) $
+ *     $Revision: 271 $
+ *
+ *  This file is part of CP(Graph)
+ *
+ *  See the file "contribs/graph/LICENSE" for information on usage and
+ *  redistribution of this file, and for a
+ *     DISCLAIMER OF ALL WARRANTIES.
+ *
+ */
+
+#ifndef BINARYSIMPLE_HH
+#define BINARYSIMPLE_HH
+#include "kernel.hh"
+//using namespace Gecode;
+namespace Gecode { namespace Graph {
+
+
+/** \brief Base class for binary propagators */
+template <class GDV1, PropCond p1, class GDV2, PropCond p2>
+class BinaryGraphPropagator: public Propagator {
+        protected:
+                GDV1 g1;
+                GDV2 g2;
+                /// Constructor for cloning
+                BinaryGraphPropagator(Space* home,  bool share, BinaryGraphPropagator& p);
+        public :
+                /// Destructor for cancelling 
+                virtual ~BinaryGraphPropagator(void);
+                /// Constructor for posting
+                BinaryGraphPropagator(Space* home, GDV1 &g1, GDV2 &g2);
+                /// Tells the estimated cost of propgation
+                virtual PropCost cost(void) const;
+                /// Post the binary propagator
+                static ExecStatus post(Space* home, GDV1 &g1, GDV2 &g2);
+};
+
+/** \brief Propagator for the complement graph binary constraint.
+ *
+ * A graph is the complement of an other if their adj matrices sum to all ones
+ */
+template <class GDV1, class GDV2>
+struct ComplementPropag: public BinaryGraphPropagator<GDV1, Gecode::Graph::PC_GRAPH_ANY, GDV2, Gecode::Graph::PC_GRAPH_ANY> {
+        using BinaryGraphPropagator<GDV1, Gecode::Graph::PC_GRAPH_ANY, GDV2, Gecode::Graph::PC_GRAPH_ANY>::g1;
+        using BinaryGraphPropagator<GDV1, Gecode::Graph::PC_GRAPH_ANY, GDV2, Gecode::Graph::PC_GRAPH_ANY>::g2;
+        using BinaryGraphPropagator<GDV1, Gecode::Graph::PC_GRAPH_ANY, GDV2, Gecode::Graph::PC_GRAPH_ANY>::cost;
+        protected:
+                /// Constructor for cloning
+                ComplementPropag(Space*, bool share, ComplementPropag&);
+        public:
+                /// Destructor for cancelling 
+                virtual ~ComplementPropag(void);
+                /// Constructor for posting
+                ComplementPropag(Space*,GDV1&,GDV2&);
+                /// Perform the filtering steps of the constraint
+                virtual ExecStatus  propagate(Space*);
+                /// Post the constraint \a g1 = Complement(\a g2)
+                static  ExecStatus  post(Space*,GDV1& g1,GDV2& g2);
+                /// Copy propagator to new Space
+                virtual Actor*  copy(Space* home,bool share) ;
+};
+
+
+/** posts a constraint for g1 is the complement of g2 
+ * \ingroup TaskModel
+ */
+template <class GDV1, class GDV2>
+void complement(Space * home, GDV1 &g1, GDV2 &g2);
+
+
+} } 
+#include "binarysimple.icc"
+#endif