Uses of Class
eu.bandm.sig.absy.Face

Packages that use Face

eu.bandm.sig.absy

created on 2012-06-22_17h11m15 by program umod, version 0.17 command line = umod --getterfunctions true --setterfunctions true --monolithic false --swingtree true -x 0 /home/lepper/sig//src eu.bandm.sig.absy sig2.umod

Uses of Face in eu.bandm.sig.absy

Subclasses of Face in eu.bandm.sig.absy

class	FCoproduct
class	FProduct
class	FVar

Fields in eu.bandm.sig.absy declared as Face

protected Face	OBox.iface
protected Face	OBox.oface

Fields in eu.bandm.sig.absy with type parameters of type Face

static Function<Face,Type>	Face.get_domain
static Function<OBox,Face>	OBox.get_iface
static Function<OBox,Face>	OBox.get_oface
static Function<Face,Variable>	Face.get_var
static Consumer<Type,Face>	Face.set_domain
static Consumer<Face,OBox>	OBox.set_iface
static Consumer<Face,OBox>	OBox.set_oface
static Consumer<Variable,Face>	Face.set_var

Methods in eu.bandm.sig.absy that return Face

Face	Face.doclone()
Face	OBox.get_iface()
Face	OBox.get_oface()
Face	Face.initFrom(Object o0)

Methods in eu.bandm.sig.absy with parameters of type Face

protected void	__TREEGEN__.Inner1.Inner2.action(Face e0)
protected void	__Formatter.action(Face el)
protected void	Visitor.action(Face e0)
protected void	Rewriter.action(Face e0)
protected void	MATCH_ONLY_00.action(Face e0)
void	MATCH_ONLY_00.match(Face e0)
protected void	Rewriter.rewriteFields(Face clone)
boolean	OBox.set_iface(Face val)
boolean	OBox.set_oface(Face val)
protected Format	__Formatter.toFormat(Face el)

Constructors in eu.bandm.sig.absy with parameters of type Face

OBox(Variable out, Face iface, Face oface, Net net)