4.3.5. Let Rule

4.3.5. Let Rule
Prev	4.3. Compound ASM Rules	Next

Variable Definition Rule

	Description
	The let rule (variable definition rule) is used for defining variablefor a given rule, typically for a sequential rule.

	Syntax
LetRuleAST ::= let VariableDefinitionsAST in AsmRuleAST VariableDefinitionsAST ::= VariableDefinitionAST \| VariableDefinitionsAST , VariableDefinitionAST VariableDefinitionAST ::= VariableDefAST TypeOptAST = ArithmeticTermAST

Syntax

LetRuleAST ::= let VariableDefinitionsAST in AsmRuleAST 
VariableDefinitionsAST ::= VariableDefinitionAST  
                         | VariableDefinitionsAST , VariableDefinitionAST 
	                      
VariableDefinitionAST ::= VariableDefAST TypeOptAST = ArithmeticTermAST

	Semantics
An ASM variable needs to be defined explicitly prior to its first use. A possible way of it is using the let rule. The let rule defines a variable, initializes it with the value resulting from the evaluation of the ASM term and then calls its internal ASM rule. The variable is accessible inside the scope of the rule, i.e. only in its body ASM rule.

Semantics

An ASM variable needs to be defined explicitly prior to its first use. A possible way of it is using the let rule.

The let rule defines a variable, initializes it with the value resulting from the evaluation of the ASM term and then calls its internal ASM rule. The variable is accessible inside the scope of the rule, i.e. only in its body ASM rule.

Defined In: compound rule

See Also: A variable can be defined also with the forall rule and the choose rule or as a parameter of an ASM rule.

Prev	Up	Next
4.3.4. Random Rule	Home	4.3.6. Choose Rule