跳转到主要内容
元素、常量和变量的名称只能在程序的特定部分使用。这称为名称的“作用域”。变量的作用域也决定其生命周期。 在任意 Code Editor 区段中声明的变量名，仅在该区段内可见，且仅自声明位置之后生效。 在某个代码块内声明的名称，仅在该代码块及其所包含的内层代码块内可见，且仅自声明位置之后生效： 
{
 Int a; a = 5;
 }

​
存取元素假設

可以透過元素名稱來存取元素假設。在兩個元素描述區段（Search Conditions 與 Hypotheses Evaluation）中，您可以存取位於同一假設樹分支上、當前元素之上的所有元素之假設。此外，某個元素所形成的假設也可以在該元素的 Hypotheses Evaluation 區段中調用。 Search Conditions 區段中的程式碼會針對每個假設獨立執行，且不受假設樹其他分支上之假設的影響。這表示當程式執行元素描述的特定區段時，對於每個上位元素只能存取一個假設，也就是位於同一分支的那個假設。 元素假設及其屬性僅可唯讀存取。

​
元素命名

上级元素的候选项以元素的全名表示，例如：SearchObjects.Group1.Group2.FirstItem。当在同一组的一个子元素中访问另一个子元素时，无需指定该组的名称。例如，在元素 SearchObjects.Group1.Group2.SecondItem 的高级部分中，可以通过以下任一方式引用元素 SearchObjects.Group1.Group2.FirstItem：SearchObjects.Group1.Group2.FirstItem、Group1.Group2.FirstItem、Group2.FirstItem、FirstItem。 简写名称始终指向当前作用域中最内层的元素。 假设我们有以下元素树： 
SearchElements
 FirstItem
 Group1
 FirstItem
 SecondItem
如果你位于 SearchElements.Group1.SecondItem 并使用名称 FirstItem，将会调用 SearchElements.Group1.FirstItem 元素，而不是 SearchElements.FirstItem 元素。