Unifier.Variable (morel 0.3.0 API)

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

All Implemented Interfaces:

Comparable<Unifier.Variable>, Unifier.Term

Enclosing class:

Unifier
```
public static final class Unifier.Variable
extends Object
implements Unifier.Term, 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) String name

Constructor Summary

Constructors
Constructor Description

Variable(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(Map<Unifier.Variable,Unifier.Term> substitutions)`
`void`	`checkCycle(Map<Unifier.Variable,Unifier.Term> map, 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.
`String`	`toString()`

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

- Field Detail
  - name
```
final String name
```
- Constructor Detail
  - Variable
```
Variable(String name)
```
- Method Detail
  - toString
```
public String toString()
```
    Overrides:
    
    toString in class Object
  - compareTo
```
public int compareTo(Unifier.Variable o)
```
    Specified by:
    
    compareTo in interface 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(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(Map<Unifier.Variable,Unifier.Term> map,
                       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