Repository navigation

Definition: AState

Jump to bottom

schrdrl edited this page Jan 10, 2022 · 1 revision

AState

Represents a State
consists of an interval (AInt) and an AList

AStmt

consists a method execute
is used in sequences
Currents Forms:
- AssignsN0
- AssignsN1
- Add1
- Add1_ATail
- Subtract1
- Subtract1_ATail
- Assign_SameValues
Experiments: assignAnyN, subtractAnyN, subtractAnyN_aTail, addAnyN, addAnyN_Tail

Sequences

Constructs like IfElse_xsIsNil, if_xsIsNil
use method ifIsNil to separate a set of AList in empty and non-empty sets