The PIL2 library now fully supports the arguments that were used in PIL1:

1. Multiset equalities checks:

multiset_require(int opid, expr sel, expr cols[])

multiset_provide(int opid, expr sel, expr cols[])

2. Lookup checks:

lookup_require(int opid, expr mul_count, expr cols[])

lookup_provide(int opid, expr mul_count, expr cols[])

3. Range checks:

range_check(int opid, expr sels[], expr cols[], int min, int max)

4. Connections with two different (but compatible) interfaces:

   • Interface where the user uses either the update_one_cell() or the update_multiple_cells() method to define the permutation "on the fly" and when it is done, executes the connect() method to perform the connection argument. The user also needs to execute init() at the beginning.

     connection_init(int opid, expr cols[])
     
     connection_update_one_cell(int opid, expr cols1[], int rows1[], expr cols2[], int rows2[])
     
     connection_update_multiple_cells(int opid, expr cols[], int rows[][])
     
     connection_connect(int opid) 
     

   • Interface where the user knows both the inputs (placed in require) and the permutation (placed in provide) of the argument.

     connection_require(int opid, expr cols[])
     
     connection_provide(int opid, expr cols[])