eu.bandm.sig.absy
Class FCoproduct

java.lang.Object
  eu.bandm.sig.absy.Absy
      eu.bandm.sig.absy.Face
          eu.bandm.sig.absy.FCoproduct

All Implemented Interfaces:

Formattable, Cloneable

public class FCoproduct
extends Face

Field Summary

protected CheckedMap_RD<Label,FProduct>	elems
static Function<FCoproduct,CheckedMap_RD<Label,FProduct>>	get_elems

Fields inherited from class eu.bandm.sig.absy.Face

domain, get_domain, get_var, set_domain, set_var, var

Fields inherited from class eu.bandm.sig.absy.Absy

get_location, location, set_location

Fields inherited from interface eu.bandm.tools.format.Formattable

format

Constructor Summary

FCoproduct()

Method Summary

boolean	containsKey_elems(Label key0)
void	descend_elems(MATCH_ONLY_00 visitor)
FCoproduct	doclone()
Format	format()
CheckedMap_RD<Label,FProduct>	get_elems()
static String	getFormatHint()
FCoproduct	initFrom(Object o0)
void	put_elems(Label key0, FProduct value)
void	set_elems(CheckedMap_RD<Label,FProduct> val)

Methods inherited from class eu.bandm.sig.absy.Face

get_domain, get_var, set_domain, set_var

Methods inherited from class eu.bandm.sig.absy.Absy

get_location, set_location

Methods inherited from class java.lang.Object

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

Field Detail

elems

protected CheckedMap_RD<Label,FProduct> elems

get_elems

public static Function<FCoproduct,CheckedMap_RD<Label,FProduct>> get_elems

Constructor Detail

FCoproduct

public FCoproduct()

Method Detail

doclone

public FCoproduct doclone()

Overrides:

doclone in class Face

getFormatHint

public static String getFormatHint()

format

public Format format()

Specified by:

format in interface Formattable

Overrides:

format in class Face

initFrom

public FCoproduct initFrom(Object o0)

Overrides:

initFrom in class Face

get_elems

public CheckedMap_RD<Label,FProduct> get_elems()

set_elems

public void set_elems(CheckedMap_RD<Label,FProduct> val)

put_elems

public void put_elems(Label key0,
                      FProduct value)

containsKey_elems

public boolean containsKey_elems(Label key0)

descend_elems

public void descend_elems(MATCH_ONLY_00 visitor)