'What is the difference in using Tcons1 over Lincons1 in Apron?

I am using Apron and Soot for a Homework Project at school. I have seen the Tcons, Lincons and expression equivalent interfaces used in examples.

I wonder why sometimes one is used over the other, from the Documentation I can not tell. Are Lincons more precise? It would seem I can use them for fewer instances but the usage itself looks the same.

Apologies if this is a really silly question. It is my first time using this and while we are introduced to the theory and everything is clear there, we are supposed to find our way with apron, soot, and half a dozen other libraries ourselves.

Thanks in advance!



Sources

This article follows the attribution requirements of Stack Overflow and is licensed under CC BY-SA 3.0.

Source: Stack Overflow

Solution Source