Class LogtkPrologTerm.id_visitor

class id_visitor : object .. end
Visitor that maps the subterms into themselves

method var : ?loc:location -> string -> t
method int_ : ?loc:location -> Z.t -> t
method rat_ : ?loc:location -> Q.t -> t
method const : ?loc:location -> LogtkSymbol.t -> t
method syntactic : ?loc:location ->
LogtkSymbol.t -> t list -> t
method app : ?loc:location ->
t -> t list -> t
method bind : ?loc:location ->
LogtkSymbol.t ->
t list -> t -> t
method list_ : ?loc:location -> t list -> t
method record : ?loc:location ->
(string * t) list ->
t option -> t
method column : ?loc:location ->
t -> t -> t
method visit : t -> t