cleaning

AlgebraicJulia · Dec 19, 2023 · a8b2291 · a8b2291
1 parent 16af318
commit a8b2291
Show file tree

Hide file tree

Showing 3 changed files with 7 additions and 5 deletions.
diff --git a/src/DiagrammaticEquations.jl b/src/DiagrammaticEquations.jl
@@ -13,7 +13,7 @@ op1_inf_rules_1D,
 op2_inf_rules_1D,
 op1_inf_rules_2D,
 op2_inf_rules_2D,
-recursive_delete_parents, findname, spacename, varname, unicode!,
+recursive_delete_parents, findname, spacename, varname, unicode!, apply_inference_rule_op1!, apply_inference_rule_op2!,
 ## collages
 Collage, collate,
 ## composition
@@ -22,7 +22,7 @@ oapply, unique_by, unique_by!, OpenSummationDecapodeOb, OpenSummationDecapode, O
 SchDecapode, SchNamedDecapode, AbstractDecapode, AbstractNamedDecapode, NamedDecapode, SummationDecapode,
 contract_operators, add_constant!, add_parameter, vec_to_dec!, infer_types!,
 fill_names!,  dot_rename!, expand_operators, infer_state_names, recognize_types,
-resolve_overloads!,
+resolve_overloads!, replace_names!,
 ## language
 @decapode, Term, parse_decapode, term, Eq, DecaExpr,
 # ~~~~~

diff --git a/src/deca/Deca.jl b/src/deca/Deca.jl
@@ -5,15 +5,15 @@ using Catlab
 include("deca_acset.jl")
 include("deca_visualization.jl")
 
-export normalize_unicode, varname, infer_states, infer_types!, typename, spacename, recursive_delete_parents, recursive_delete_parents!, unicode!, op1_res_rules_1D,
+export normalize_unicode, varname, infer_states, infer_types!, typename, spacename, recursive_delete_parents, recursive_delete_parents!, unicode!, replace_names!, op1_res_rules_1D,
 op2_res_rules_1D,
 op1_res_rules_2D,
 op2_res_rules_2D,
 op1_inf_rules_1D,
 op2_inf_rules_1D,
 op1_inf_rules_2D,
-op2_inf_rules_2D
-
+op2_inf_rules_2D,
+apply_inference_rule_op1!, apply_inference_rule_op2!
 
 ## TODO: where?
 function infer_states(d::SummationDecapode)

diff --git a/src/deca/deca_acset.jl b/src/deca/deca_acset.jl
@@ -1,3 +1,5 @@
+using ..DiagrammaticEquations
+
 # TODO: You could write a method which auto-generates these rules given degree N.
 """
 These are the default rules used to do type inference in the 1D exterior calculus.