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

Packages that use TCotuple

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 TCotuple in eu.bandm.sig.absy

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

static Function<TCotuple,Variable>	TCotuple.get_in
static Function<TCotuple,Label>	TCotuple.get_selector
static Consumer<Variable,TCotuple>	TCotuple.set_in
static Consumer<Label,TCotuple>	TCotuple.set_selector

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

TCotuple	TCotuple.doclone()
TCotuple	TCotuple.initFrom(Object o0)

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

protected void	__TREEGEN__.Inner1.Inner2.action(TCotuple e0)
protected void	__Formatter.action(TCotuple el)
protected void	Visitor.action(TCotuple e0)
protected void	Rewriter.action(TCotuple e0)
protected void	MATCH_ONLY_00.action(TCotuple e0)
void	MATCH_ONLY_00.match(TCotuple e0)
protected void	Rewriter.rewriteFields(TCotuple clone)
protected Format	__Formatter.toFormat(TCotuple el)

Uses of TCotuple in eu.bandm.sig.semantics

Methods in eu.bandm.sig.semantics that return types with arguments of type TCotuple

static List<? extends List<TCotuple>>	TestAlgebra.cnf(Test t)
static List<? extends List<TCotuple>>	TestAlgebra.dnf(Test t)