SubtermPath (hydra-java 0.14.1 API)

java.lang.Object
- hydra.paths.SubtermPath

All Implemented Interfaces:

java.io.Serializable, java.lang.Comparable<SubtermPath>
```
public class SubtermPath
extends java.lang.Object
implements java.io.Serializable, java.lang.Comparable<SubtermPath>
```
A sequence of subterm steps forming a path through a term

See Also:

Serialized Form

- Field Summary
  
  Fields
  Modifier and Type Field Description
  
  static Name TYPE_
  
  ConsList<SubtermStep> value
  
  static Name VALUE
- Constructor Summary
  
  Constructors
  Constructor Description
  
  SubtermPath(ConsList<SubtermStep> value)
- Method Summary
  
  All Methods Instance Methods Concrete Methods
  Modifier and Type Method Description
  
  int compareTo(SubtermPath other)
  
  boolean equals(java.lang.Object other)
  
  int hashCode()
  - Methods inherited from class java.lang.Object
    clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait

Field Detail

TYPE_
```
public static final Name TYPE_
```

VALUE
```
public static final Name VALUE
```

value

public final ConsList<SubtermStep> value

Constructor Detail

SubtermPath

public SubtermPath(ConsList<SubtermStep> value)

Method Detail
- equals
```
public boolean equals(java.lang.Object other)
```
  Overrides:
  
  equals in class java.lang.Object
- hashCode
```
public int hashCode()
```
  Overrides:
  
  hashCode in class java.lang.Object
- compareTo
```
public int compareTo(SubtermPath other)
```
  Specified by:
  
  compareTo in interface java.lang.Comparable<SubtermPath>