simplify (p.electrod.0.6.2.doc.electrod.libelectrod.Libelectrod.Simplify1.simplify)

inherit Libelectrod.Gen_goal.map

method visit_'v : unit -> Libelectrod.Ast.var -> Libelectrod.Ast.var

method visit_'i : unit -> Libelectrod.Ast.ident -> Libelectrod.Ast.ident

method visit_Quant_One : unit ->
  Libelectrod.Gen_goal.quant ->
  (Libelectrod.Ast.var, Libelectrod.Ast.ident) Libelectrod.Gen_goal.sim_binding
    Containers.List.t ->
  (Libelectrod.Ast.var, Libelectrod.Ast.ident) Libelectrod__Gen_goal.block ->
  (Libelectrod.Ast.var, Libelectrod.Ast.ident) Libelectrod.Gen_goal.prim_fml

method visit_Quant_Lone : unit ->
  Libelectrod.Gen_goal.quant ->
  (Libelectrod.Ast.var, Libelectrod.Ast.ident) Libelectrod.Gen_goal.sim_binding
    Containers.List.t ->
  (Libelectrod.Ast.var, Libelectrod.Ast.ident) Libelectrod.Gen_goal.block ->
  (Libelectrod.Ast.var, Libelectrod.Ast.ident) Libelectrod.Gen_goal.prim_fml

method visit_Quant : unit ->
  Libelectrod.Gen_goal.quant ->
  (Libelectrod.Ast.var, Libelectrod.Ast.ident) Libelectrod.Gen_goal.sim_binding
    Containers.List.t ->
  (Libelectrod.Ast.var, Libelectrod.Ast.ident) Libelectrod.Gen_goal.block ->
  (Libelectrod.Ast.var, Libelectrod.Ast.ident) Libelectrod.Gen_goal.prim_fml

method visit_Let : unit ->
  (Libelectrod.Ast.var, Libelectrod.Ast.ident) Libelectrod.Gen_goal.binding
    Containers.List.t ->
  (Libelectrod.Ast.var, Libelectrod.Ast.ident) Libelectrod.Gen_goal.block ->
  (Libelectrod.Ast.var, Libelectrod.Ast.ident) Libelectrod.Gen_goal.prim_fml

method visit_Qual : unit ->
  Libelectrod.Gen_goal.rqualify ->
  (Libelectrod.Ast.var, Libelectrod.Ast.ident) Libelectrod.Gen_goal.exp ->
  (Libelectrod.Ast.var, Libelectrod.Ast.ident) Libelectrod.Gen_goal.prim_fml

method visit_BoxJoin : unit ->
  (Libelectrod.Ast.var, Libelectrod.Ast.ident) Libelectrod.Gen_goal.exp ->
  (Libelectrod.Ast.var, Libelectrod.Ast.ident) Libelectrod.Gen_goal.exp
    Containers.List.t ->
  (Libelectrod.Ast.var, Libelectrod.Ast.ident) Libelectrod.Gen_goal.prim_exp

method visit_prim_fml : unit ->
  (Libelectrod.Ast.var, Libelectrod.Ast.ident) Libelectrod.Gen_goal.prim_fml ->
  (Libelectrod.Ast.var, Libelectrod.Ast.ident) Libelectrod.Gen_goal.prim_fml