#378 Add advanced variable ordering option to data-based synthesis tool
- Feb 11, 2023
-
-
Dennis Hendriks authored
-
- Feb 09, 2023
-
-
Dennis Hendriks authored
-
Dennis Hendriks authored67c809b8
-
Dennis Hendriks authored024e79b3
-
Dennis Hendriks authored
- Functional change.
3515b33b -
Dennis Hendriks authored36f7b604
-
Dennis Hendriks authored647f6513
-
Dennis Hendriks authoredae66515a
-
Dennis Hendriks authored69e9ec4d
-
Dennis Hendriks authored8b1678c0
-
- Feb 06, 2023
-
-
Dennis Hendriks authored
-
Dennis Hendriks authored
-
- Feb 05, 2023
-
-
Dennis Hendriks authored
-
Dennis Hendriks authored7ac8d6fe
-
Dennis Hendriks authored9113137e
-
Dennis Hendriks authoredcc961d67
-
Dennis Hendriks authored
- Update for page split. - Update for simple vs advanced configuration. - Some other small improvements. - DCSH is no longer considered experimental.
51b3f73e -
Dennis Hendriks authored55171cd0
-
Dennis Hendriks authoredf077f723
-
Dennis Hendriks authoredcdcacfcf
-
Dennis Hendriks authoredfccd608a
-
Dennis Hendriks authored39d6d458
-
Dennis Hendriks authored1048ef46
-
- Feb 02, 2023
-
-
Dennis Hendriks authored
-
Dennis Hendriks authored
- Note: not all algorithms actually work on hyper-edges. - Note: hyper-edges are always used for computing metrics.
8760dd66 -
Dennis Hendriks authored
- We have different representations and different relations. - Different orderers use different things, and they know what they use. - Only need to skip algorithms that use empty representations. - Reverse variable orderer: improved debug output.
00e674fb -
Dennis Hendriks authored728e0258
-
Dennis Hendriks authored4f86115a
-
- Feb 01, 2023
-
-
Dennis Hendriks authoredcabbd12b
-
Dennis Hendriks authored
- The orderer knows what representation it uses. - Different orderers use different relations for the representations.
5b00a4f6 -
Dennis Hendriks authored
-
- Jan 31, 2023
-
-
Dennis Hendriks authored
-
Dennis Hendriks authored
- Changed indentation for readability.
df58ca47 -
Dennis Hendriks authored071ea538
-
Dennis Hendriks authored6854697d
-
Dennis Hendriks authored
- They are for the 'custom' variable order.
9968c5a4 -
Dennis Hendriks authoreda4535d61
-
- Jan 30, 2023
-
-
Dennis Hendriks authored
-
Dennis Hendriks authoredcc66e3e1
-
Dennis Hendriks authored74a93fbc
-
Dennis Hendriks authored1dae4a24
-
Dennis Hendriks authored0377e976
-
Dennis Hendriks authored37359baf
-
Dennis Hendriks authored2c8f51a0
-
Dennis Hendriks authored
- Ensures consistency. - Makes it easier to add debug printing later on.
a75a05cb -
Dennis Hendriks authored77911889
-
Dennis Hendriks authoredbdbe0b03
-
Dennis Hendriks authoredb6271840
-
- Jan 29, 2023
-
-
Dennis Hendriks authored
- Add 'default' order to new advanced option. - Move processing of current options to processing the new 'default'. - The new advanced option is already has 'default' as default value. - Add parsing of the new advanced option instead of the old processing.
-
Dennis Hendriks authoredbedd61bb
-
Dennis Hendriks authored49ad0d43
-
Dennis Hendriks authoredd6793cf7
-
Dennis Hendriks authored6d77323f
-
Dennis Hendriks authored0d54eb74
-
Dennis Hendriks authored310790b3
-
Dennis Hendriks authored2a46b251
-
Dennis Hendriks authoredde3ed79b
-
Dennis Hendriks authored6a947629
-
Dennis Hendriks authoredca40eb88
-
Dennis Hendriks authoredba1165f6
-
Dennis Hendriks authored2eb3d722
-