Package net.hydromatic.morel.util

Class Unifier.Failure

java.lang.Object

net.hydromatic.morel.util.Unifier.Failure

All Implemented Interfaces:

Unifier.Result

Enclosing class:

Unifier

public static class Unifier.Failure
extends Object
implements Unifier.Result

Result indicating that unification was not possible.

Constructor Summary

Constructors

Constructor	Description
Failure()

Method Summary

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

Failure

public Failure()