kris-brown / complexvid.jl Goto Github PK

  symptomsN = @acset_colim yG begin 
    e::E; i::Im 
    im(i) == src(e); symptomsIm(i)==0; layer(e)==:Home
  end

  Rule(homomorphism(symptomsI, symptomsL; monic=true), id(symptomsI); 
      ac=[AppCond(homomorphism(symptomsL, symptomsN), false)])

ERROR: Fail
Stacktrace:
 [1] error(s::String)
   @ Base ./error.jl:35
 [2] update!(#unused#::Base.RefValue{Any}, boxdata::Fail, #unused#::StructTightACSetTransformation{TypeLevelBasicSchema{Symbol, Tuple{:V, :E, :S, :Ia, :Im, :Is, :Ic, :R, :D}, Tuple{(:src, :E, :V), (:tgt, :E, :V), (:inv, :E, :E), (:s, :S, :V), (:ia, :Ia, :V), (:im, :Im, :V), (:is, :Is, :V), (:ic, :Ic, :V), (:r, :R, :V), (:d, :D, :V)}, Tuple{:Name, :Num}, Tuple{(:layer, :E, :Name), (:age, :V, :Num), (:daysIa, :Ia, :Num), (:daysIm, :Im, :Num), (:daysIc, :Ic, :Num), (:daysIs, :Is, :Num), (:symptomsIa, :Ia, :Num), (:symptomsIm, :Im, :Num), (:symptomsIc, :Ic, :Num), (:symptomsIs, :Is, :Num)}}, NamedTuple{(:V, :E, :S, :Ia, :Im, :Is, :Ic, :R, :D, :Name, :Num), Tuple{Catlab.CategoricalAlgebra.FinSets.FinDomFunctionVector{Int64, Vector{Int64}, Catlab.CategoricalAlgebra.FinSets.FinSetInt}, Catlab.CategoricalAlgebra.FinSets.FinDomFunctionVector{Int64, Vector{Int64}, Catlab.CategoricalAlgebra.FinSets.FinSetInt}, Catlab.CategoricalAlgebra.FinSets.FinDomFunctionVector{Int64, Vector{Int64}, Catlab.CategoricalAlgebra.FinSets.FinSetInt}, Catlab.CategoricalAlgebra.FinSets.FinDomFunctionVector{Int64, Vector{Int64}, Catlab.CategoricalAlgebra.FinSets.FinSetInt}, Catlab.CategoricalAlgebra.FinSets.FinDomFunctionVector{Int64, Vector{Int64}, Catlab.CategoricalAlgebra.FinSets.FinSetInt}, Catlab.CategoricalAlgebra.FinSets.FinDomFunctionVector{Int64, Vector{Int64}, Catlab.CategoricalAlgebra.FinSets.FinSetInt}, Catlab.CategoricalAlgebra.FinSets.FinDomFunctionVector{Int64, Vector{Int64}, Catlab.CategoricalAlgebra.FinSets.FinSetInt}, Catlab.CategoricalAlgebra.FinSets.FinDomFunctionVector{Int64, Vector{Int64}, Catlab.CategoricalAlgebra.FinSets.FinSetInt}, Catlab.CategoricalAlgebra.FinSets.FinDomFunctionVector{Int64, Vector{Int64}, Catlab.CategoricalAlgebra.FinSets.FinSetInt}, VarFunction{Symbol}, VarFunction{Int64}}}, AnonACSet{TypeLevelBasicSchema{Symbol, Tuple{:V, :E, :S, :Ia, :Im, :Is, :Ic, :R, :D}, Tuple{(:src, :E, :V), (:tgt, :E, :V), (:inv, :E, :E), (:s, :S, :V), (:ia, :Ia, :V), (:im, :Im, :V), (:is, :Is, :V), (:ic, :Ic, :V), (:r, :R, :V), (:d, :D, :V)}, Tuple{:Name, :Num}, Tuple{(:layer, :E, :Name), (:age, :V, :Num), (:daysIa, :Ia, :Num), (:daysIm, :Im, :Num), (:daysIc, :Ic, :Num), (:daysIs, :Is, :Num), (:symptomsIa, :Ia, :Num), (:symptomsIm, :Im, :Num), (:symptomsIc, :Ic, :Num), (:symptomsIs, :Is, :Num)}}, Tuple{Symbol, Int64}, NamedTuple{(:V, :E, :S, :Ia, :Im, :Is, :Ic, :R, :D, :Name, :Num), NTuple{11, BitSetParts}}, NamedTuple{(:src, :tgt, :inv, :s, :ia, :im, :is, :ic, :r, :d, :layer, :age, :daysIa, :daysIm, :daysIc, :daysIs, :symptomsIa, :symptomsIm, :symptomsIc, :symptomsIs), Tuple{ACSets.ColumnImplementations.DenseFinColumn{Vector{Int64}}, ACSets.ColumnImplementations.DenseFinColumn{Vector{Int64}}, ACSets.ColumnImplementations.DenseFinColumn{Vector{Int64}}, ACSets.ColumnImplementations.DenseFinColumn{Vector{Int64}}, ACSets.ColumnImplementations.DenseFinColumn{Vector{Int64}}, ACSets.ColumnImplementations.DenseFinColumn{Vector{Int64}}, ACSets.ColumnImplementations.DenseFinColumn{Vector{Int64}}, ACSets.ColumnImplementations.DenseFinColumn{Vector{Int64}}, ACSets.ColumnImplementations.DenseFinColumn{Vector{Int64}}, ACSets.ColumnImplementations.DenseFinColumn{Vector{Int64}}, ACSets.ColumnImplementations.DenseColumn{Union{AttrVar, Symbol}, Vector{Union{AttrVar, Symbol}}}, Vararg{ACSets.ColumnImplementations.DenseColumn{Union{AttrVar, Int64}, Vector{Union{AttrVar, Int64}}}, 9}}}, MarkAsDeleted}, AnonACSet{TypeLevelBasicSchema{Symbol, Tuple{:V, :E, :S, :Ia, :Im, :Is, :Ic, :R, :D}, Tuple{(:src, :E, :V), (:tgt, :E, :V), (:inv, :E, :E), (:s, :S, :V), (:ia, :Ia, :V), (:im, :Im, :V), (:is, :Is, :V), (:ic, :Ic, :V), (:r, :R, :V), (:d, :D, :V)}, Tuple{:Name, :Num}, Tuple{(:layer, :E, :Name), (:age, :V, :Num), (:daysIa, :Ia, :Num), (:daysIm, :Im, :Num), (:daysIc, :Ic, :Num), (:daysIs, :Is, :Num), (:symptomsIa, :Ia, :Num), (:symptomsIm, :Im, :Num), (:symptomsIc, :Ic, :Num), (:symptomsIs, :Is, :Num)}}, Tuple{Symbol, Int64}, NamedTuple{(:V, :E, :S, :Ia, :Im, :Is, :Ic, :R, :D, :Name, :Num), NTuple{11, BitSetParts}}, NamedTuple{(:src, :tgt, :inv, :s, :ia, :im, :is, :ic, :r, :d, :layer, :age, :daysIa, :daysIm, :daysIc, :daysIs, :symptomsIa, :symptomsIm, :symptomsIc, :symptomsIs), Tuple{ACSets.ColumnImplementations.DenseFinColumn{Vector{Int64}}, ACSets.ColumnImplementations.DenseFinColumn{Vector{Int64}}, ACSets.ColumnImplementations.DenseFinColumn{Vector{Int64}}, ACSets.ColumnImplementations.DenseFinColumn{Vector{Int64}}, ACSets.ColumnImplementations.DenseFinColumn{Vector{Int64}}, ACSets.ColumnImplementations.DenseFinColumn{Vector{Int64}}, ACSets.ColumnImplementations.DenseFinColumn{Vector{Int64}}, ACSets.ColumnImplementations.DenseFinColumn{Vector{Int64}}, ACSets.ColumnImplementations.DenseFinColumn{Vector{Int64}}, ACSets.ColumnImplementations.DenseFinColumn{Vector{Int64}}, ACSets.ColumnImplementations.DenseColumn{Union{AttrVar, Symbol}, Vector{Union{AttrVar, Symbol}}}, Vararg{ACSets.ColumnImplementations.DenseColumn{Union{AttrVar, Int64}, Vector{Union{AttrVar, Int64}}}, 9}}}, MarkAsDeleted}}, inport::Int64)