eu.bandm.sig.semantics
Class TypeAlgebra

java.lang.Object
  eu.bandm.sig.semantics.TypeAlgebra

public abstract class TypeAlgebra
extends Object

Nested Class Summary

static class

TypeAlgebra.Evaluator

Method Summary

static TypeAlgebra.Evaluator	evaluator(Function<? super Variable,? extends Type> env)
static TypeAlgebra.Evaluator	evaluator(Map<Variable,? extends Type> env)

Methods inherited from class java.lang.Object

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

Method Detail

evaluator

public static TypeAlgebra.Evaluator evaluator(Function<? super Variable,? extends Type> env)

evaluator

public static TypeAlgebra.Evaluator evaluator(Map<Variable,? extends Type> env)