This function adds an implication of presence between the two instances of IlcIntervalVar, x1 and x2. The implication states that if x1 is present then x2 is present.
IlcIntervalVar
x1
x2
See Also: