AST-Generation.md

@@ -27,35 +27,18 @@ every component according to their component number *n*.
 
 Parameters:
 
------------------------------------------------------------------------------------------------------------------------
-		Name	Description
-------------    -------------------------------------------------------------------------------------------------------
-num-pe			Total number of resources.
-
-num-pe-subs		Number of subresources for every resource (use 0 for a flat layout).
-
-num-comp		Total number of components.
-
-impl-per-comp	Number of implementations per component.
-
-mode-per-impl	Number of modes per implementation.
-
-opts			An optional list with options, defaults to `(list #f #f #f #f)`. Each element eq? `#f` implies default behavior.
-				See below for description of the four elements.
-
-sw-reqc			A function, given the name of an implementation, returns whether this implementation should require the previous created component.
-				The default behavior is to toss a coin.
-
-ud-sw-clauses	A function, given a name of a resource, returns a clause-function.
-				The default behavior creates constraints for the properties load, frequency and the provided property of the required component, if any.
-				Further, the default creates a provision clause for the provided property of this clause.
-
-ud-hw-clauses	A function, given a name of a mode, returns a clause-function.
-				The default behavior creates provisions for the properties load and frequency.
-
-ud-types		A function, given a name of a resource, returns either `#f`, or the number of the resource type.
-				The default behvaior always returns `#f`, resulting in the number 0 for the resource type.
------------------------------------------------------------------------------------------------------------------------
+Name | Description
+-|-
+num-pe			| Total number of resources.
+num-pe-subs		| Number of subresources for every resource (use 0 for a flat layout).
+num-comp		| Total number of components.
+impl-per-comp	| Number of implementations per component.
+mode-per-impl	| Number of modes per implementation.
+opts			| An optional list with options, defaults to `(list #f #f #f #f)`. Each element eq? `#f` implies default behavior. See below for description of the four elements.
+sw-reqc			| A function, given the name of an implementation, returns whether this implementation should require the previous created component. The default behavior is to toss a coin.
+ud-sw-clauses	| A function, given a name of a resource, returns a clause-function. The default behavior creates constraints for the properties load, frequency and the provided property of the required component, if any. Further, the default creates a provision clause for the provided property of this clause.
+ud-hw-clauses	| A function, given a name of a mode, returns a clause-function. The default behavior creates provisions for the properties load and frequency.
+ud-types		| A function, given a name of a resource, returns either `#f`, or the number of the resource type. The default behvaior always returns `#f`, resulting in the number 0 for the resource type.
 
 A clause-function is a function given a name of the property, returns either `#t` (use default),
 `#f` (do not include this property), or a list containing the following elements and which is used for