private static final class Dif.DifVariableAttribute
extends java.lang.Object
implements VariableAttribute

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`java.lang.String`	`getName()`
`Term`	`join(Term a, Term b)`
`boolean`	`postUnify(Variable variable, Term input)`

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

Constructor Detail
- DifVariableAttribute
```
private DifVariableAttribute()
```

public boolean postUnify(Variable variable,
                         Term input)

public Term join(Term a,
                 Term b)

Class Dif.DifVariableAttribute