%       INPUT:
% cfa: cfa_forwdom
% expl_siteUser(Resource, UserScope), expl_siteInit(Resource, ScopeInit)
% 


%       PARTITION
%=============================================================
expl_mutual_dom(UserScope1, UserScope2, DomHighest):-  
    Ahighest = #max{ AD, (AD, BD): cfa_forwdom(Dom, range(AD, BD)), AD<A1, AD<A2, BD > B1, BD > B2};
    cfa_forwdom(DomHighest, range(Ahighest, _)); 
    cfa_forwdom(UserScope1, range(A1, B1));
    cfa_forwdom(UserScope2, range(A2, B2));
    UserScope1<UserScope2; UserScope1!=null; UserScope2!=null; DomHighest!=null.

expl_partition(Resource, UserScope1, UserScope2, Dom):-            
    expl_mutual_dom(UserScope1, UserScope2, Dom);
    expl_siteUser(Resource, UserScope1); expl_siteUser(Resource, UserScope2); UserScope1<UserScope2.

expl_partition_root(Resource, User):-       
    expl_siteUser(Resource, User);
    not expl_partition(Resource,  _, User, _).
                                        
expl_partition_dom(Resource, UserRoot, DomHighest ):-   
    Ahighest = #max{A1, (A1, B1):expl_partition(Resource, UserRoot, _, Dom), cfa_forwdom(Dom, range(A1, B1))};
    cfa_forwdom(DomHighest, range(Ahighest, _));
    expl_partition_root(Resource, UserRoot).

expl_partition_dom(Resource, UserRoot, DomHighest ):-   
    Ahighest = #max{AD, (AD, BD): cfa_forwdom(Dom, range(AD, BD)), AD<A1, BD>B1};
    cfa_forwdom(DomHighest, range(Ahighest, _));
    cfa_forwdom(UserRoot, range(A1, B1));
    not expl_partition(Resource, UserRoot, _, _);
    expl_partition_root(Resource, UserRoot).    

expl_init_assignments(Resource, SiteInitAssigned):-
    A_Highest = #max{AI, (AI, BI): expl_siteInit(Resource, SiteI), cfa_forwdom(SiteI, range(AI, BI))};
    cfa_forwdom(SiteInitAssigned, range(A_Highest, _));
    expl_partition_root(Resource, _).
    
%       SOLUTIONS
%=============================================================


%       ORDER
%=============================================================


    
%       Doms/PostDom trees
%=============================================================
%cfa_forwdom


%       LANDSCAPE
%=============================================================
%expl_landscape(X, )


%       GARBAGE
%=============================================================
%expl_parent(Site, Parent):- 
%    A<A1; B1<B;
%    cfa_forwdom(Parent, range(A, B)); 
%    cfa_forwdom(Site, range(A1, B1)).
    
%expl_parent(Site, postdom(Parent)):- 
%    A<A1; B1<B;
%    cfa_postdom(Parent, range(A, B)); 
%    cfa_postdom(Site, range(A1, B1)).
    
%epxl_impl(Site, Resource, direct):-
%    expl_siteUser(Site, Resource);
%    expl_siteInit(SiteParent, Resource);
%    expl_parent(Site, SiteParent).

%expl_impl(Site, Resource, direct):-
%    expl_siteUser(Site, Resource);
%    expl_initAccepted(SiteInit, Resource);
%    expl_deinitAccepted(SiteDeinit, Resource);

%expl_order(S1, S2):- cfa_scope_depends(S1,S2).
%expl_order(S1, S3):- 
%    cfa_parent(S1, S2);
%    expl_order(S2, S3);
%    not cfa_scope_depends(S1,_).