eu.bandm.sig.semantics
Class Families

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

public abstract class Families
extends Object

Field Summary

static Label

trivial

Method Summary

static <A> A	arbitrary(Map<Label,A> family)
static boolean	isIndexed(Map<Label,?> family)
static boolean	isNamed(Map<Label,?> family)
static boolean	isTrivial(Label label)
static boolean	isTrivial(Map<Label,?> family)
static <C> Map<Label,C>	trivial(C elem)

Methods inherited from class java.lang.Object

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

Field Detail

trivial

public static final Label trivial

Method Detail

isTrivial

public static boolean isTrivial(Label label)

isTrivial

public static boolean isTrivial(Map<Label,?> family)

arbitrary

public static <A> A arbitrary(Map<Label,A> family)

isIndexed

public static boolean isIndexed(Map<Label,?> family)

isNamed

public static boolean isNamed(Map<Label,?> family)

trivial

public static <C> Map<Label,C> trivial(C elem)