Package org.jfuncmachine.util.unification

Interface Unifiable

public interface Unifiable

An interface for types that can be unified with each other

Method Summary

Modifier and Type	Method	Description
void	unify(Unifiable other)	Performs a unification of types

Method Details

unify

void unify(Unifiable other)
    throws UnificationException

Performs a unification of types

Parameters:

other - The type to unify with

Throws:

UnificationException - If the types can't be unified