% BEGIN LICENSE BLOCK
% Version: CMPL 1.1
%
% The contents of this file are subject to the Cisco-style Mozilla Public
% License Version 1.1 (the "License"); you may not use this file except
% in compliance with the License.  You may obtain a copy of the License
% at www.eclipse-clp.org/license.
% 
% Software distributed under the License is distributed on an "AS IS"
% basis, WITHOUT WARRANTY OF ANY KIND, either express or implied.  See
% the License for the specific language governing rights and limitations
% under the License. 
% 
% The Original Code is  The ECLiPSe Constraint Logic Programming System. 
% The Initial Developer of the Original Code is  Cisco Systems, Inc. 
% Portions created by the Initial Developer are
% Copyright (C) 1998 - 2006 Cisco Systems, Inc.  All Rights Reserved.
% 
% Contributor(s): Joachim Schimpf, IC-Parc
% 
% END LICENSE BLOCK
% ----------------------------------------------------------------------
% System:	ECLiPSe Constraint Logic Programming System
% Version:	$Id: edge_finder.ecl,v 1.2 2009/07/16 09:11:25 jschimpf Exp $
%
% Description:		Edge-finder, quadratic algorithm
%
% Author:		J.Schimpf, IC-Parc
%
% The ordering booleans: There is an array of booleans with
% one boolean for each pair of tasks. The mapping is as follows:
%
%	Pos in array		Pair of tasks
%
%	Bools[j*(j-1)//2+i+1]	i	j
% e.g.
%	Bools[1]		0	1
%	Bools[2]		0	2
%	Bools[3]		1	2
%	Bools[4]		0	3
%	Bools[5]		1	3
%	Bools[6]		2	3
%
%	Bools[idx] = 0	  <=>	task_i before task_j
%	Bools[idx] = 1	  <=>	task_i after  task_j
% ----------------------------------------------------------------------

:- module(edge_finder).

:- comment(categories, ["Algorithms","Constraints"]).
:- comment(summary, "Quadratic edge-finder algorithm for disjunctive and cumulative constraints for FD").
:- comment(author, "Joachim Schimpf").
:- comment(copyright, "Cisco Systems, Inc.").
:- comment(date, "$Date: 2009/07/16 09:11:25 $").
:- comment(desc, "\

    This library implements the quadratic edge-finder algorithm for the
    disjunctive and cumulative scheduling constraints for the FD solver.
    It provides stronger propagation than the cumulative library, but
    weaker than the cubic edge_finder3 library for cumulative constraints.
    It is however computationally cheaper than the edge_finder3 library.

    Note that the same predicates are implemented in both edge_finder and
    edge_finder3 libraries.
").

:- use_module(fd_edge_finder_common).
:- ensure_loaded(cumulative).

:- include(generic_edge_finder).

generic_cumulative(Starts, Durations, Resources, Cap) :-
	cumulative:cumulative(Starts, Durations, Resources, Cap).