Notes091121

Topics:

1. Clarification of the input and output parameters used in the implementation of class 'AList'
2. Exception-Handling with AOption (=> Abstraction of scala.Option)
3. Example with 'head'-function
4. For now: stop working on/with Apron

TODOS:

1. Find examples to understand the construction of AList
2. Implementation of 'tail'-function
3. Implementation of 'isConcreteElementOf'
   • Int -> AInt
   • List -> AList
   • Option -> AOption
4. Testing
5. Take into consideration to simplify class 'Intervals' (source: https://github.com/ahmadsalim/Rascal-Light)