A path is a term comprehending a list of integer indexes which
indicate the position of a term relative to the root term.
When a path is read/written to a string/list, indexes are listed
ordely from the root to the leaves. However, when a path is read/written
to a term, the indexes are from the leaves to the root, to take advantage
of the maximal sharing.
|
|
__init__(self,
indices)
x.__init__(...) initializes x; see x.__class__.__doc__ for
signature |
|
|
|
|
compare(self,
other)
Rich path comparison. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| contains_range(self,
start,
end) |
|
|
|
|
| contained_in_range(self,
start,
end) |
|
|
|
|
ancestor(self,
other)
Find the common ancestor of two paths. |
|
|
|
|
project(self,
term)
Projects the subterm specified by a path. |
|
|
|
|
| transform(self,
term,
func) |
|
|
|
|
|
|
|
|
|
|
|
|
Inherited from object:
__delattr__,
__getattribute__,
__hash__,
__new__,
__reduce__,
__reduce_ex__,
__repr__,
__setattr__
|
