- Type Parameters:
T
-
public class TheoryOfRegionsConstraintImpl<T>
extends java.lang.Object
Simple data structure that stores a sequence as a
"theory of regions constraint". The prefix is a multiset of activities. We
keep track of the "final" activity as well. Given some List over T, we encode
the data structure as an int array. Assume we have the List: [A,B,C] and the
constraint ([a^2,b],c) this will be encoded into the array [2,1,0,2], i.e. 2
occurrences of A (index 0), 1 occurrence of B, zero occurrences of C and C
(index 2) is the last activity
- Author:
- svzelst