How to use Local Binding vs. Default Binding

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