aclai-lab / aclai-lab/SoleLogics.jl
Equality relation for TruthDicts
Offen
bug
- Vorherrschende Sprache
- Julia
- Sterne
- 20
- Forks
- 7
- PR-Merge-Kennzahlen
- Keine gemergten PRs in 30 T.
Beschreibung
The following code is wrong.
```julia
my_model = randmodel(42, 5, 10, [Atom("p"), Atom("q")], BooleanAlgebra())
my_model.assignment == deepcopy(my_model.assignment)
```
The assignment within `my_model::KripkeModel` is a `TruthDict`, but it happens that a truth dict is never equal to itself.
Beitragsleitfaden
Für dieses Repository ist kein Beitragsleitfaden indexiert
Bewertung
Dieses Issue wurde noch nicht bewertet.