From fffd30e6ea060b2abebb7ba9cdf881da00ca4cb9 Mon Sep 17 00:00:00 2001 From: Ulf Magnusson Date: Sun, 17 Sep 2017 04:23:40 +0200 Subject: Add 'imply' support This is like a 'select' that only changes the default value of a symbol, not limiting what values the user can set it to (with one exception: A symbol implied to 'y' can't be set to 'm'). Symbol.get_implied_symbols() was added, corresponding to Symbol.get_selected_symbols(), and Symbol.__str__() was extended to print implied symbols and weak reverse dependencies. Weak reverse dependencies are the 'imply' version of 'select's reverse dependencies. --- tests/Kref | 2 ++ 1 file changed, 2 insertions(+) (limited to 'tests/Kref') diff --git a/tests/Kref b/tests/Kref index a398c1a..a60561e 100644 --- a/tests/Kref +++ b/tests/Kref @@ -18,6 +18,8 @@ config MANY_REF depends on H select I if J = K || L != M select N if (A || !(B && (C = O))) + imply P if Q = R || S != T + imply U if (A || !(B && (C = V))) endif -- cgit v1.2.3