|
@@ -1,7 +1,7 @@
|
|
|
include "primitives.alh"
|
|
|
|
|
|
-Class Float {}
|
|
|
-Class String {}
|
|
|
+SimpleAttribute Float {}
|
|
|
+SimpleAttribute String {}
|
|
|
|
|
|
Class Block{
|
|
|
signal : Float {
|
|
@@ -9,40 +9,40 @@ Class Block{
|
|
|
target_upper_cardinality = 1
|
|
|
}
|
|
|
}
|
|
|
-Class ICBlock{
|
|
|
+Class ICBlock : Block {
|
|
|
last_in : Float {
|
|
|
target_lower_cardinality = 0
|
|
|
target_upper_cardinality = 1
|
|
|
}
|
|
|
}
|
|
|
|
|
|
-Class ConstantBlock{
|
|
|
+Class ConstantBlock : Block {
|
|
|
value : Float {
|
|
|
target_lower_cardinality = 1
|
|
|
target_upper_cardinality = 1
|
|
|
}
|
|
|
}
|
|
|
|
|
|
-Class ProbeBlock{
|
|
|
+Class ProbeBlock : Block {
|
|
|
name : String {
|
|
|
target_lower_cardinality = 1
|
|
|
target_upper_cardinality = 1
|
|
|
}
|
|
|
}
|
|
|
|
|
|
-Class AdditionBlock{}
|
|
|
-Class NegatorBlock{}
|
|
|
-Class MultiplyBlock{}
|
|
|
-Class InverseBlock{}
|
|
|
-Class DelayBlock{}
|
|
|
-Class IntegratorBlock{
|
|
|
+Class AdditionBlock : Block {}
|
|
|
+Class NegatorBlock : Block {}
|
|
|
+Class MultiplyBlock : Block {}
|
|
|
+Class InverseBlock : Block {}
|
|
|
+Class DelayBlock : ICBlock {}
|
|
|
+Class IntegratorBlock : ICBlock {
|
|
|
last_out : Float {
|
|
|
target_lower_cardinality = 0
|
|
|
target_upper_cardinality = 1
|
|
|
}
|
|
|
}
|
|
|
|
|
|
-Class DerivatorBlock{}
|
|
|
+Class DerivatorBlock : ICBlock {}
|
|
|
Class Time{
|
|
|
lower_cardinality = 1
|
|
|
upper_cardinality = 1
|
|
@@ -63,14 +63,3 @@ Association InitialCondition(Block, ICBlock){
|
|
|
source_lower_cardinality = 0
|
|
|
source_upper_cardinality = 1
|
|
|
}
|
|
|
-
|
|
|
-Inheritance (ConstantBlock, Block){}
|
|
|
-Inheritance (AdditionBlock, Block){}
|
|
|
-Inheritance (NegatorBlock, Block){}
|
|
|
-Inheritance (MultiplyBlock, Block){}
|
|
|
-Inheritance (InverseBlock, Block){}
|
|
|
-Inheritance (ICBlock, Block){}
|
|
|
-Inheritance (DelayBlock, ICBlock){}
|
|
|
-Inheritance (DerivatorBlock, ICBlock){}
|
|
|
-Inheritance (IntegratorBlock, ICBlock){}
|
|
|
-Inheritance (ProbeBlock, Block){}
|