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

Packages that use Net

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
eu.bandm.sig.semantics

Uses of Net in eu.bandm.sig.absy

Subclasses of Net in eu.bandm.sig.absy

class	NCall
class	NDisjoint
class	NFail
class	NList
class	NOverlay

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

protected Net	NDisjoint.case1
protected Net	NOverlay.case1
protected Net	NDisjoint.case2
protected Net	NOverlay.case2
protected Net	OBox.net
protected Net	Constant.net

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

protected CheckedList<Net>	NList.elems
static Function<NDisjoint,Net>	NDisjoint.get_case1
static Function<NOverlay,Net>	NOverlay.get_case1
static Function<NDisjoint,Net>	NDisjoint.get_case2
static Function<NOverlay,Net>	NOverlay.get_case2
static Function<NList,CheckedList<Net>>	NList.get_elems
static Function<OBox,Net>	OBox.get_net
static Function<Constant,Net>	Constant.get_net
static Consumer<Net,NDisjoint>	NDisjoint.set_case1
static Consumer<Net,NOverlay>	NOverlay.set_case1
static Consumer<Net,NDisjoint>	NDisjoint.set_case2
static Consumer<Net,NOverlay>	NOverlay.set_case2
static Consumer<CheckedList<Net>,NList>	NList.set_elems
static Consumer<Net,OBox>	OBox.set_net
static Consumer<Net,Constant>	Constant.set_net

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

Net	Net.doclone()
Net	NDisjoint.get_case1()
Net	NOverlay.get_case1()
Net	NDisjoint.get_case2()
Net	NOverlay.get_case2()
Net	OBox.get_net()
Net	Constant.get_net()
Net	Net.initFrom(Object o0)

Methods in eu.bandm.sig.absy that return types with arguments of type Net

CheckedList<Net>

NList.get_elems()

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

protected void	__TREEGEN__.Inner1.Inner2.action(Net e0)
protected void	__Formatter.action(Net el)
protected void	Visitor.action(Net e0)
protected void	Rewriter.action(Net e0)
protected void	MATCH_ONLY_00.action(Net e0)
void	MATCH_ONLY_00.match(Net e0)
protected void	Rewriter.rewriteFields(Net clone)
boolean	NDisjoint.set_case1(Net val)
boolean	NOverlay.set_case1(Net val)
boolean	NDisjoint.set_case2(Net val)
boolean	NOverlay.set_case2(Net val)
boolean	OBox.set_net(Net val)
boolean	Constant.set_net(Net val)
protected Format	__Formatter.toFormat(Net el)

Method parameters in eu.bandm.sig.absy with type arguments of type Net

boolean

NList.set_elems(CheckedList<Net> val)

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

Constant(Variable var, Net net)

NDisjoint(Test test1, Test test2, Net case1, Net case2)

NOverlay(Test test, Net case1, Net case2)

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

Uses of Net in eu.bandm.sig.semantics

Methods in eu.bandm.sig.semantics that return Net

Net	Normalizer.netify(Constraint c)

Methods in eu.bandm.sig.semantics with parameters of type Net

static Test

Normalizer.testify(Net n)