Unifier.Variable (morel 0.2.0 API)

java.lang.Object
- net.hydromatic.morel.util.Unifier.Variable

All Implemented Interfaces:

java.lang.Comparable<Unifier.Variable>, Unifier.Term

Enclosing class:

Unifier
```
public static final class Unifier.Variable
extends java.lang.Object
implements Unifier.Term, java.lang.Comparable<Unifier.Variable>
```
A variable that represents a symbol or a sequence; unification's task is to find the substitutions for such variables.

Field Summary

Fields
Modifier and Type Field Description

(package private) java.lang.String name

Constructor Summary

Constructors
Constructor Description

Variable(java.lang.String name)

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`<R> R`	`accept(Unifier.TermVisitor<R> visitor)`
`Unifier.Term`	`apply(java.util.Map<Unifier.Variable,Unifier.Term> substitutions)`
`void`	`checkCycle(java.util.Map<Unifier.Variable,Unifier.Term> map, java.util.Map<Unifier.Variable,Unifier.Variable> active)`	Throws CycleException if expanding this term leads to a cycle.
`int`	`compareTo(Unifier.Variable o)`
`boolean`	`contains(Unifier.Variable variable)`
`private int`	`ordinal()`	If the name is "T3", returns 3.
`java.lang.String`	`toString()`

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

- Field Detail
  - name
```
final java.lang.String name
```
- Constructor Detail
  - Variable
```
Variable(java.lang.String name)
```
- Method Detail
  - toString
```
public java.lang.String toString()
```
    Overrides:
    
    toString in class java.lang.Object
  - compareTo
```
public int compareTo(Unifier.Variable o)
```
    Specified by:
    
    compareTo in interface java.lang.Comparable<Unifier.Variable>
  - ordinal
```
private int ordinal()
```
    If the name is "T3", returns 3. If the name is not of the form "T{integer}" returns -1.
  - apply
```
public Unifier.Term apply(java.util.Map<Unifier.Variable,Unifier.Term> substitutions)
```
    Specified by:
    
    apply in interface Unifier.Term
  - contains
```
public boolean contains(Unifier.Variable variable)
```
    Specified by:
    
    contains in interface Unifier.Term
  - checkCycle
```
public void checkCycle(java.util.Map<Unifier.Variable,Unifier.Term> map,
                       java.util.Map<Unifier.Variable,Unifier.Variable> active)
                throws Unifier.CycleException
```
    Description copied from interface: Unifier.Term
    
    Throws CycleException if expanding this term leads to a cycle.
    
    Specified by:
    
    checkCycle in interface Unifier.Term
    
    Throws:
    
    Unifier.CycleException
  - accept
```
public <R> R accept(Unifier.TermVisitor<R> visitor)
```
    Specified by:
    
    accept in interface Unifier.Term