Class Elo_recursor.recursorSource

constraint 'b recursor = 'b recursor
inherit VisitorsRuntime.fold
inherit VisitorsRuntime.map
method virtual build_Add : 'c -> 'd
method virtual build_All : 'c -> 'e
method virtual build_And : 'c -> 'f
method virtual build_Block : 'c -> 'g list -> 'g
method virtual build_Card : 'c -> Libelectrod.Elo.exp -> 'h -> 'i
method virtual build_Compr : 'c -> (bool * int * Libelectrod.Elo.exp) list -> Libelectrod.Elo.fml list -> (bool * int * 'h) list -> 'g list -> 'j
method virtual build_Diff : 'c -> 'k
method virtual build_F : 'c -> 'l
method virtual build_FIte : 'c -> Libelectrod.Elo.fml -> Libelectrod.Elo.fml -> Libelectrod.Elo.fml -> 'g -> 'g -> 'g -> 'g
method virtual build_False : 'c -> 'g
method virtual build_G : 'c -> 'l
method virtual build_Gt : 'c -> 'm
method virtual build_Gte : 'c -> 'm
method virtual build_H : 'c -> 'l
method virtual build_IBin : 'c -> Libelectrod.Elo.iexp -> Libelectrod.Elo.ibinop -> Libelectrod.Elo.iexp -> 'i -> 'd -> 'i -> 'i
method virtual build_IComp : 'c -> Libelectrod.Elo.iexp -> Libelectrod.Elo.icomp_op -> Libelectrod.Elo.iexp -> 'i -> 'm -> 'i -> 'g
method virtual build_IEq : 'c -> 'm
method virtual build_INEq : 'c -> 'm
method virtual build_IUn : 'c -> Libelectrod.Elo.iunop -> Libelectrod.Elo.iexp -> 'n -> 'i -> 'i
method virtual build_Iden : 'c -> 'j
method virtual build_Iff : 'c -> 'f
method virtual build_Imp : 'c -> 'f
method virtual build_In : 'c -> 'o
method virtual build_Inter : 'c -> 'k
method virtual build_Join : 'c -> 'k
method virtual build_LBin : 'c -> Libelectrod.Elo.fml -> Libelectrod.Elo.lbinop -> Libelectrod.Elo.fml -> 'g -> 'f -> 'g -> 'g
method virtual build_LProj : 'c -> 'k
method virtual build_LUn : 'c -> Libelectrod.Elo.lunop -> Libelectrod.Elo.fml -> 'l -> 'g -> 'g
method virtual build_Lt : 'c -> 'm
method virtual build_Lte : 'c -> 'm
method virtual build_Name : 'c -> Libelectrod.Name.t -> Libelectrod.Name.t -> 'j
method virtual build_Neg : 'c -> 'n
method virtual build_No : 'c -> 'e
method virtual build_None_ : 'c -> 'j
method virtual build_Not : 'c -> 'l
method virtual build_NotIn : 'c -> 'o
method virtual build_Num : 'c -> int -> int -> 'i
method virtual build_O : 'c -> 'l
method virtual build_Or : 'c -> 'f
method virtual build_Over : 'c -> 'k
method virtual build_P : 'c -> 'l
method virtual build_Prime : 'c -> Libelectrod.Elo.exp -> 'h -> 'j
method virtual build_Prod : 'c -> 'k
method virtual build_Quant : 'c -> Libelectrod.Elo.quant -> (bool * int * Libelectrod.Elo.exp) -> Libelectrod.Elo.fml list -> 'e -> (bool * int * 'h) -> 'g list -> 'g
method virtual build_R : 'c -> 'f
method virtual build_RBin : 'c -> Libelectrod.Elo.exp -> Libelectrod.Elo.rbinop -> Libelectrod.Elo.exp -> 'h -> 'k -> 'h -> 'j
method virtual build_RComp : 'c -> Libelectrod.Elo.exp -> Libelectrod.Elo.comp_op -> Libelectrod.Elo.exp -> 'h -> 'o -> 'h -> 'g
method virtual build_REq : 'c -> 'o
method virtual build_RIte : 'c -> Libelectrod.Elo.fml -> Libelectrod.Elo.exp -> Libelectrod.Elo.exp -> 'g -> 'h -> 'h -> 'j
method virtual build_RNEq : 'c -> 'o
method virtual build_RProj : 'c -> 'k
method virtual build_RTClos : 'c -> 'p
method virtual build_RUn : 'c -> Libelectrod.Elo.runop -> Libelectrod.Elo.exp -> 'p -> 'h -> 'j
method virtual build_S : 'c -> 'f
method virtual build_Some_ : 'c -> 'e
method virtual build_Sub : 'c -> 'd
method virtual build_TClos : 'c -> 'p
method virtual build_Transpose : 'c -> 'p
method virtual build_True : 'c -> 'g
method virtual build_U : 'c -> 'f
method virtual build_Union : 'c -> 'k
method virtual build_Univ : 'c -> 'j
method virtual build_Var : 'c -> int -> int -> 'j
method virtual build_X : 'c -> 'l
method virtual build_oexp : 'c -> (Libelectrod.Elo.fml, Libelectrod.Elo.exp, Libelectrod.Elo.iexp) Libelectrod.Elo.oexp -> 'j -> int -> 'h
method visit_exp : 'c -> Libelectrod.Elo.exp -> 'h
method visit_iexp : 'c -> Libelectrod.Elo.iexp -> 'i
method visit_fml : 'c -> Libelectrod.Elo.fml -> 'g
method visit_'exp : 'c -> Libelectrod.Elo.exp -> 'h
method visit_'fml : 'c -> Libelectrod.Elo.fml -> 'g
method visit_'iexp : 'c -> Libelectrod.Elo.iexp -> 'i
method visit_True : 'c -> 'g
method visit_False : 'c -> 'g
method visit_RComp : 'c -> Libelectrod.Elo.exp -> Libelectrod.Elo.comp_op -> Libelectrod.Elo.exp -> 'g
method visit_LUn : 'c -> Libelectrod.Elo.lunop -> Libelectrod.Elo.fml -> 'g
method visit_LBin : 'c -> Libelectrod.Elo.fml -> Libelectrod.Elo.lbinop -> Libelectrod.Elo.fml -> 'g
method visit_Quant : 'c -> Libelectrod.Elo.quant -> (bool * int * Libelectrod.Elo.exp) -> Libelectrod.Elo.fml list -> 'g
method visit_FIte : 'c -> Libelectrod.Elo.fml -> Libelectrod.Elo.fml -> Libelectrod.Elo.fml -> 'g
method visit_Block : 'c -> Libelectrod.Elo.fml list -> 'g
method visit_All : 'c -> 'e
method visit_Some_ : 'c -> 'e
method visit_No : 'c -> 'e
method visit_quant : 'c -> Libelectrod.Elo.quant -> 'e
method visit_And : 'c -> 'f
method visit_Or : 'c -> 'f
method visit_Imp : 'c -> 'f
method visit_Iff : 'c -> 'f
method visit_U : 'c -> 'f
method visit_R : 'c -> 'f
method visit_S : 'c -> 'f
method visit_lbinop : 'c -> Libelectrod.Elo.lbinop -> 'f
method visit_F : 'c -> 'l
method visit_G : 'c -> 'l
method visit_Not : 'c -> 'l
method visit_O : 'c -> 'l
method visit_X : 'c -> 'l
method visit_H : 'c -> 'l
method visit_P : 'c -> 'l
method visit_lunop : 'c -> Libelectrod.Elo.lunop -> 'l
method visit_In : 'c -> 'o
method visit_NotIn : 'c -> 'o
method visit_REq : 'c -> 'o
method visit_RNEq : 'c -> 'o
method visit_comp_op : 'c -> Libelectrod.Elo.comp_op -> 'o
method visit_IEq : 'c -> 'm
method visit_INEq : 'c -> 'm
method visit_Lt : 'c -> 'm
method visit_Lte : 'c -> 'm
method visit_Gt : 'c -> 'm
method visit_Gte : 'c -> 'm
method visit_icomp_op : 'c -> Libelectrod.Elo.icomp_op -> 'm
method visit_None_ : 'c -> 'j
method visit_Univ : 'c -> 'j
method visit_Iden : 'c -> 'j
method visit_Var : 'c -> int -> 'j
method visit_Name : 'c -> Libelectrod.Name.t -> 'j
method visit_RUn : 'c -> Libelectrod.Elo.runop -> Libelectrod.Elo.exp -> 'j
method visit_RBin : 'c -> Libelectrod.Elo.exp -> Libelectrod.Elo.rbinop -> Libelectrod.Elo.exp -> 'j
method visit_RIte : 'c -> Libelectrod.Elo.fml -> Libelectrod.Elo.exp -> Libelectrod.Elo.exp -> 'j
method visit_Compr : 'c -> (bool * int * Libelectrod.Elo.exp) list -> Libelectrod.Elo.fml list -> 'j
method visit_Prime : 'c -> Libelectrod.Elo.exp -> 'j
method visit_Transpose : 'c -> 'p
method visit_TClos : 'c -> 'p
method visit_RTClos : 'c -> 'p
method visit_runop : 'c -> Libelectrod.Elo.runop -> 'p
method visit_Union : 'c -> 'k
method visit_Inter : 'c -> 'k
method visit_Over : 'c -> 'k
method visit_LProj : 'c -> 'k
method visit_RProj : 'c -> 'k
method visit_Prod : 'c -> 'k
method visit_Diff : 'c -> 'k
method visit_Join : 'c -> 'k
method visit_rbinop : 'c -> Libelectrod.Elo.rbinop -> 'k
method visit_Num : 'c -> int -> 'i
method visit_Card : 'c -> Libelectrod.Elo.exp -> 'i
method visit_IUn : 'c -> Libelectrod.Elo.iunop -> Libelectrod.Elo.iexp -> 'i
method visit_Neg : 'c -> 'n
method visit_iunop : 'c -> Libelectrod.Elo.iunop -> 'n
method visit_Add : 'c -> 'd
method visit_Sub : 'c -> 'd
method visit_ibinop : 'c -> Libelectrod.Elo.ibinop -> 'd