New object encoding

This encoding just splits up the standard COOM encoding into different program parts for each fact specifying a new object, i.e. parent, index, type, and set.

The only important change is the addition of the active/1 external to control whether a bound is currently considered to be active. The inclusion of an object introduced at bound n is then only possible if active(n) holds.

Encodings

src/coomsuite/encodings/multi/new-object.lp

Encoding

#program new_parent(name,parent).
parent(name,parent).
#program new_index(name,index).
index(name,index).
#program new_set(set,name).
set(set,name).
#program new_type(name,type,bound).
#external active(bound).
type(name,type).
bound(name,bound).
defined(name) :- value(name,_).

an object can only be included if the bound is active

{ include(name) } :- active(bound).
:- include(name), parent(name,X), not include(X).
:-  include(name), set(P,name ), index(name,I), I > 0,
not include(X'  ), set(P,X'   ), index(X'  ,I-1), constraint((P,_),_).
{ value(name,V) : domain(type,V) } = 1 :- include(name), type(name,type), discrete(type).
{ value(name,V) : V = Min..Max } = 1 :- include(name), type(name,type), integer(type), range(type,Min,Max).
#show include(name) : include(name), type(name,type), part(type).
#show value(name,V) : value(name,V), type(name,type), discrete(type).
#show value(name,V) : value(name,V), type(name,type), integer(type).