review fill and substitute for variadic operators

jonnybest / Alloy2RelSMT

This is Alloy2RelSMT, a converter. It translates Alloy models into SMT files with a specific relational theory.

1 stars 0 forks source link

review fill and substitute for variadic operators #15

Open jonnybest opened 12 years ago

jonnybest commented 12 years ago

variadic operators are only introduced when the proper instace methods and() and or() are used. please review the usage of fill and substitute methods so that the optimization will take place there as well.