How-To

How to use Local Binding vs. Default Binding

Userlevel 6

+6

In this article we will compare two ways of defining index binding: local binding and default binding.

Assume there are two sets:

code:

Set s_RootSet {
    Index: i_rs;
}

https://clipboardjs.com/assets/images/clippy.svg
and

code:

Set s_SubSet {
    Index: i_ss;
}

https://clipboardjs.com/assets/images/clippy.svg
Let’s compare the expressions

code:

( i in MySubSet )

and

code:

( i \| i in MySubSet )

Be the first to reply!

Sign up