[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[PATCH 4/9] cex: minor renaming
From: |
Akim Demaille |
Subject: |
[PATCH 4/9] cex: minor renaming |
Date: |
Sun, 12 Jul 2020 19:23:13 +0200 |
* src/counterexample.c (has_common_prefix): Rename as...
(have_common_prefix): this.
---
src/counterexample.c | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/counterexample.c b/src/counterexample.c
index bfab304c..4bc18428 100644
--- a/src/counterexample.c
+++ b/src/counterexample.c
@@ -904,7 +904,7 @@ search_state_prepend (search_state *ss, symbol_number sym,
bitset guide)
* the same prefix up to the dot.
*/
static bool
-has_common_prefix (const item_number *itm1, const item_number *itm2)
+have_common_prefix (const item_number *itm1, const item_number *itm2)
{
int i = 0;
for (; !item_number_is_rule_number (itm1[i]); ++i)
@@ -1101,7 +1101,7 @@ unifying_example (state_item_number itm1,
const state_item *si1src = parse_state_head (ps1);
const state_item *si2src = parse_state_head (ps2);
if (item_rule (si1src->item)->lhs == item_rule
(si2src->item)->lhs
- && has_common_prefix (si1src->item, si2src->item))
+ && have_common_prefix (si1src->item, si2src->item))
{
// Stage 4: both paths share a prefix
derivation *d1 = parse_state_derivation (ps1);
--
2.27.0
- [PATCH 0/9] cex: shift derivation vs reduce derivation, Akim Demaille, 2020/07/12
- [PATCH 1/9] tests: beware of version numbers from git describe, Akim Demaille, 2020/07/12
- [PATCH 2/9] cex: minor style changes, Akim Demaille, 2020/07/12
- [PATCH 3/9] cex: use better type names, Akim Demaille, 2020/07/12
- [PATCH 4/9] cex: minor renaming,
Akim Demaille <=
- [PATCH 5/9] cex: more consistent memory allocation/copy, Akim Demaille, 2020/07/12
- [PATCH 6/9] cex: use state_item_number consistently, Akim Demaille, 2020/07/12
- [PATCH 7/9] cex: factor memory allocation, Akim Demaille, 2020/07/12
- [PATCH 8/9] style: s/lookahead_tokens/lookaheads/g, Akim Demaille, 2020/07/12
- [PATCH 9/9] cex: display shifts before reductions, Akim Demaille, 2020/07/12