Update for design changes to mark-as-deleted acsets.

AlgebraicJulia · Jul 18, 2023 · d99ec32 · d99ec32
1 parent 4fe40b7
commit d99ec32
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 8 deletions.
diff --git a/src/categorical_algebra/ACSetsGATsInterop.jl b/src/categorical_algebra/ACSetsGATsInterop.jl
@@ -46,10 +46,8 @@ function Presentation(s::BasicSchema{Symbol})
 end
 
 
-function DenseACSets.struct_acset(name::Symbol, parent, p::Presentation;
-                                  index::Vector=[], unique_index::Vector=[], 
-                                  part_type::Type{<:AbstractParts}=IntParts)
-  DenseACSets.struct_acset(name, parent, Schema(p); index, unique_index, part_type)
+function DenseACSets.struct_acset(name::Symbol, parent, p::Presentation; kw...)
+  DenseACSets.struct_acset(name, parent, Schema(p); kw...)
 end
 
 function DenseACSets.DynamicACSet(

diff --git a/src/categorical_algebra/CSets.jl b/src/categorical_algebra/CSets.jl
@@ -902,11 +902,11 @@ end
 
 
 # For MarkAsDeleted one has to always look up the index of a given part
-@inline Base.getindex(::BacktrackingState{<:ACSet{DenseParts}}, ::Symbol, x::Int) = x
-@inline Base.getindex(state::BacktrackingState{<:ACSet{MarkAsDeleted}}, c::Symbol, x::Int) =
+@inline Base.getindex(::BacktrackingState{<:ACSet{<:DenseParts}}, ::Symbol, x::Int) = x
+@inline Base.getindex(state::BacktrackingState{<:ACSet{<:MarkAsDeleted}}, c::Symbol, x::Int) =
   state.part_index[c][x]
-@inline get_y_index(::BacktrackingState{<:ACSet{DenseParts}}, ::Symbol, y::Int) = y
-@inline get_y_index(state::BacktrackingState{<:ACSet{MarkAsDeleted}}, c::Symbol, y::Int) =
+@inline get_y_index(::BacktrackingState{<:ACSet{<:DenseParts}}, ::Symbol, y::Int) = y
+@inline get_y_index(state::BacktrackingState{<:ACSet{<:MarkAsDeleted}}, c::Symbol, y::Int) =
   state.codom_part_index[c][y]
 
 @inline assignment(state::BacktrackingState, c::Symbol, x::Int) =