You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
At the moment, ADTypes specifies that the result of coloring is just a vector of integer colors.
However, in the case of symmetric coloring, we can compute other things (a star set) that speed up decompression.
More generally, a coloring algorithm could return an AbstractColoringResult, which is then used in a decompression function whose API we need to hash out. Perhaps #35 can help?
The text was updated successfully, but these errors were encountered:
At the moment, ADTypes specifies that the result of coloring is just a vector of integer colors.
However, in the case of symmetric coloring, we can compute other things (a star set) that speed up decompression.
More generally, a coloring algorithm could return an
AbstractColoringResult
, which is then used in a decompression function whose API we need to hash out. Perhaps #35 can help?The text was updated successfully, but these errors were encountered: