aclai-lab / aclai-lab/SoleLogics.jl
Optimize SoleLogics structures
Offen
#77
1 Kommentar
0 Reaktionen
1 zugewiesene Person
Beansprucht von @alberto-paparella
Auf GitHub ansehen
optimization
- Vorherrschende Sprache
- Julia
- Sterne
- 20
- Forks
- 7
- PR-Merge-Kennzahlen
- Keine gemergten PRs in 30 T.
Beschreibung
It's finally time to optimize SoleLogics data structures, removing useless abstract types from the hierarchy (e.g., substituting SyntaxTree with a Union of Atom, BooleanTruth and SyntaxBranch) and, most importantly, from fields in other structs (e.g., NO NTuples{N, T}, such us children in SyntaxBranch).
Also, thank you @Tortar for the insightful feedback!
Beitragsleitfaden
Für dieses Repository ist kein Beitragsleitfaden indexiert
Bewertung
Dieses Issue wurde noch nicht bewertet.