Skip to content

Fix intent collection in Display implementation#1

Open
kylak wants to merge 26 commits intodiracdeltafunk:masterfrom
kylak:master
Open

Fix intent collection in Display implementation#1
kylak wants to merge 26 commits intodiracdeltafunk:masterfrom
kylak:master

Conversation

@kylak
Copy link
Copy Markdown

@kylak kylak commented Mar 20, 2026

This PR removes such an error (the code of the main function is the one in the Readme) :

cargo run
    Updating git repository `https://github.com/diracdeltafunk/fcars`
     Locking 1 package to latest Rust 1.91.1 compatible version
      Adding fcars v0.1.0 (https://github.com/diracdeltafunk/fcars#e4e3cdcb)
   Compiling fcars v0.1.0 (https://github.com/diracdeltafunk/fcars#e4e3cdcb)
   Compiling test_fca v0.1.0 (/home/gustav/cursor/test_fca)
    Finished `dev` profile [unoptimized + debuginfo] target(s) in 1.69s
     Running `target/debug/test_fca`
Context:
              0    1    2    3    4    5    6    7    8    9   10   11
         0    0    0    0    0    1    1    1    1    1    1    1    0
         1    1    1    0    1    1    1    1    0    1    0    0    1
         2    1    1    1    1    0    1    1    1    0    0    0    1
         3    1    1    1    1    1    1    1    1    0    1    1    1
         4    1    1    1    1    1    0    1    1    1    1    1    1
         5    1    1    0    1    1    0    1    1    1    0    1    1
         6    1    1    1    1    0    0    1    1    1    1    1    1
         7    1    0    1    1    1    1    1    1    1    0    1    1
         8    1    1    0    1    0    1    1    1    1    0    1    0
         9    1    1    0    1    0    1    1    1    1    1    0    1

Reduced? false

Extent: [], Intent: []
Extent: [3], Intent: [3]
Extent: [4], Intent: [4]
Extent: [3, 4], Intent: [3, 4]
Extent: [2, 3], Intent: [2, 3]
Extent: [4, 6], Intent: [4, 6]
Extent: [3, 4, 6], Intent: [3, 4, 6]
Extent: [2, 3, 4, 6], Intent: [2, 3, 4, 6]
Extent: [1], Intent: [1]
Extent: [1, 3], Intent: [1, 3]
Extent: [4, 5], Intent: [4, 5]
Extent: [3, 4, 5], Intent: [3, 4, 5]
Extent: [1, 4, 5], Intent: [1, 4, 5]
Extent: [1, 3, 4, 5], Intent: [1, 3, 4, 5]
Extent: [9], Intent: [9]
Extent: [8], Intent: [8]
Extent: [8, 9], Intent: [8, 9]
Extent: [3, 9], Intent: [3, 9]
Extent: [3, 8], Intent: [3, 8]
Extent: [2, 3, 9], Intent: [2, 3, 9]
Extent: [2, 3, 8, 9], Intent: [2, 3, 8, 9]
Extent: [1, 9], Intent: [1, 9]
Extent: [1, 8, 9], Intent: [1, 8, 9]
Extent: [1, 2, 3, 9], Intent: [1, 2, 3, 9]
Extent: [1, 2, 3, 8, 9], Intent: [1, 2, 3, 8, 9]
Extent: [4, 6, 9], Intent: [4, 6, 9]
Extent: [4, 5, 6], Intent: [4, 5, 6]
Extent: [4, 5, 6, 8], Intent: [4, 5, 6, 8]
Extent: [4, 5, 6, 9], Intent: [4, 5, 6, 9]
Extent: [4, 5, 6, 8, 9], Intent: [4, 5, 6, 8, 9]
Extent: [3, 4, 6, 9], Intent: [3, 4, 6, 9]
Extent: [3, 4, 5, 6], Intent: [3, 4, 5, 6]
Extent: [3, 4, 5, 6, 8], Intent: [3, 4, 5, 6, 8]
Extent: [2, 3, 4, 5, 6, 9], Intent: [2, 3, 4, 5, 6, 9]
Extent: [2, 3, 4, 5, 6, 8, 9], Intent: [2, 3, 4, 5, 6, 8, 9]
Extent: [1, 4, 5, 6, 9], Intent: [1, 4, 5, 6, 9]
Extent: [1, 4, 5, 6, 8, 9], Intent: [1, 4, 5, 6, 8, 9]
Extent: [1, 2, 3, 4, 5, 6, 9], Intent: [1, 2, 3, 4, 5, 6, 9]
Extent: [1, 2, 3, 4, 5, 6, 8, 9], Intent: [1, 2, 3, 4, 5, 6, 8, 9]
Extent: [7], Intent: [7]
Extent: [3, 7], Intent: [3, 7]
Extent: [4, 7], Intent: [4, 7]
Extent: [3, 4, 7], Intent: [3, 4, 7]
Extent: [2, 3, 7], Intent: [2, 3, 7]
Extent: [4, 6, 7], Intent: [4, 6, 7]
Extent: [3, 4, 6, 7], Intent: [3, 4, 6, 7]
Extent: [2, 3, 4, 6, 7], Intent: [2, 3, 4, 6, 7]
Extent: [1, 7], Intent: [1, 7]
Extent: [1, 3, 7], Intent: [1, 3, 7]
Extent: [4, 5, 7], Intent: [4, 5, 7]
Extent: [3, 4, 5, 7], Intent: [3, 4, 5, 7]
Extent: [1, 4, 5, 7], Intent: [1, 4, 5, 7]
Extent: [1, 3, 4, 5, 7], Intent: [1, 3, 4, 5, 7]
Extent: [7, 8], Intent: [7, 8]
Extent: [7, 9], Intent: [7, 9]
Extent: [7, 8, 9], Intent: [7, 8, 9]
Extent: [3, 7, 8], Intent: [3, 7, 8]
Extent: [2, 3, 7, 9], Intent: [2, 3, 7, 9]
Extent: [2, 3, 7, 8, 9], Intent: [2, 3, 7, 8, 9]
Extent: [1, 7, 9], Intent: [1, 7, 9]
Extent: [1, 7, 8, 9], Intent: [1, 7, 8, 9]
Extent: [1, 2, 3, 7, 9], Intent: [1, 2, 3, 7, 9]
Extent: [1, 2, 3, 7, 8, 9], Intent: [1, 2, 3, 7, 8, 9]
Extent: [4, 5, 6, 7], Intent: [4, 5, 6, 7]
Extent: [4, 5, 6, 7, 8], Intent: [4, 5, 6, 7, 8]
Extent: [4, 5, 6, 7, 9], Intent: [4, 5, 6, 7, 9]
Extent: [4, 5, 6, 7, 8, 9], Intent: [4, 5, 6, 7, 8, 9]
Extent: [3, 4, 5, 6, 7], Intent: [3, 4, 5, 6, 7]
Extent: [3, 4, 5, 6, 7, 8], Intent: [3, 4, 5, 6, 7, 8]
Extent: [2, 3, 4, 5, 6, 7, 9], Intent: [2, 3, 4, 5, 6, 7, 9]
Extent: [2, 3, 4, 5, 6, 7, 8, 9], Intent: [2, 3, 4, 5, 6, 7, 8, 9]
Extent: [1, 4, 5, 6, 7, 9], Intent: [1, 4, 5, 6, 7, 9]
Extent: [1, 4, 5, 6, 7, 8, 9], Intent: [1, 4, 5, 6, 7, 8, 9]
Extent: [1, 2, 3, 4, 5, 6, 7, 9], Intent: [1, 2, 3, 4, 5, 6, 7, 9]
Extent: [1, 2, 3, 4, 5, 6, 7, 8, 9], Intent: [1, 2, 3, 4, 5, 6, 7, 8, 9]
Extent: [0], Intent: [0]
Extent: [0, 7], Intent: [0, 7]
Extent: [0, 3], Intent: [0, 3]
Extent: [0, 3, 7], Intent: [0, 3, 7]
Extent: [0, 1, 7], Intent: [0, 1, 7]
Extent: [0, 1, 3, 7], Intent: [0, 1, 3, 7]
Extent: [0, 4], Intent: [0, 4]
Extent: [0, 4, 5, 7], Intent: [0, 4, 5, 7]
Extent: [0, 3, 4], Intent: [0, 3, 4]
Extent: [0, 3, 4, 5, 7], Intent: [0, 3, 4, 5, 7]
Extent: [0, 1, 4, 5, 7], Intent: [0, 1, 4, 5, 7]
Extent: [0, 1, 3, 4, 5, 7], Intent: [0, 1, 3, 4, 5, 7]
Extent: [0, 9], Intent: [0, 9]
Extent: [0, 7, 8], Intent: [0, 7, 8]
Extent: [0, 7, 8, 9], Intent: [0, 7, 8, 9]
Extent: [0, 3, 9], Intent: [0, 3, 9]
Extent: [0, 3, 7, 8], Intent: [0, 3, 7, 8]
Extent: [0, 2, 3, 7, 8, 9], Intent: [0, 2, 3, 7, 8, 9]
Extent: [0, 1, 7, 8, 9], Intent: [0, 1, 7, 8, 9]
Extent: [0, 1, 2, 3, 7, 8, 9], Intent: [0, 1, 2, 3, 7, 8, 9]
Extent: [0, 4, 6], Intent: [0, 4, 6]
Extent: [0, 4, 6, 9], Intent: [0, 4, 6, 9]
Extent: [0, 4, 5, 6, 7, 8], Intent: [0, 4, 5, 6, 7, 8]
Extent: [0, 4, 5, 6, 7, 8, 9], Intent: [0, 4, 5, 6, 7, 8, 9]
Extent: [0, 3, 4, 6], Intent: [0, 3, 4, 6]
Extent: [0, 3, 4, 6, 9], Intent: [0, 3, 4, 6, 9]
Extent: [0, 3, 4, 5, 6, 7, 8], Intent: [0, 3, 4, 5, 6, 7, 8]
Extent: [0, 2, 3, 4, 5, 6, 7, 8, 9], Intent: [0, 2, 3, 4, 5, 6, 7, 8, 9]
Extent: [0, 1, 4, 5, 6, 7, 8, 9], Intent: [0, 1, 4, 5, 6, 7, 8, 9]
Extent: [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], Intent: [0, 1, 2, 3, 4, 5, 6, 7, 8, 9]

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant