add functions for manipulating the domain of a pet_context
commit8e2e4aa92b13fc6f8e8931b2586a5cc4c19a3b0f
authorSven Verdoolaege <skimo@kotnet.org>
Fri, 14 Mar 2014 18:14:58 +0000 (14 19:14 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Tue, 25 Mar 2014 13:36:29 +0000 (25 14:36 +0100)
treed1af6214d583d090c8c589cecdc7b1aec2b322df
parent0fd6d1c235559fcacb705fcbf0d22f3c738fab06
add functions for manipulating the domain of a pet_context

A pet_context currently always has a zero-dimensional domain,
but when we change the extraction of a pet_scop from a pet_tree
from a bottom-up process to a top-down process, we will want
to keep track of the outer loop constraints in the pet_context.
These functions will allow us to do so.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
context.c
context.h