hoaproject/Ruler

I want to get all variable appear in string rule. Example "q1 != 8 and q2 != 12", i need ["q1", "q2"] How ?

vucongduy192 opened this issue · 3 comments

vucongduy192 commented
I want to get all variable appear in string rule. Example "q1 != 8 and q2 != 12", i need ["q1", "q2"] How ?
Hywan commented

Hello,

The best way is to visit the model (Hoa\Ruler\Model) and pick all Bag\Context instances.

Do you need pointers or help?

vucongduy192 commented

Thank you very much. I got it. :)).

Hywan commented

Feel free to get in touch with us at any moment 😃!