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

Packages that use Variable

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

Subclasses of Variable in eu.bandm.sig.absy

class	VAnonymous
class	VNamed

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

protected Variable	OApply.arg
protected Variable	OApply.fun
protected Variable	OClose.in
protected Variable	OOpen.in
protected Variable	TCotuple.in
protected Variable	OId.in
protected Variable	OCotuple.in
protected Variable	OCast.in
protected Variable	OSelect.in
protected Variable	OCoselect.in
protected Variable	CounaryOperation.out
protected Variable	Operation.out
protected Variable	FVar.var
protected Variable	CDeclare.var
protected Variable	Constant.var
protected Variable	EVar.var
protected Variable	Face.var
protected Variable	PVar.var
protected Variable	TVar.var

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

protected CheckedMap_D<Variable,Type>	Constraint.bindings
protected CheckedMap_D<Variable,Type>	Pattern.bindings
protected CheckedMap_RD<Label,Variable>	OTuple.elems
static Function<OApply,Variable>	OApply.get_arg
static Function<Constraint,CheckedMap_D<Variable,Type>>	Constraint.get_bindings
static Function<Pattern,CheckedMap_D<Variable,Type>>	Pattern.get_bindings
static Function<OTuple,CheckedMap_RD<Label,Variable>>	OTuple.get_elems
static Function<OApply,Variable>	OApply.get_fun
static Function<OClose,Variable>	OClose.get_in
static Function<OOpen,Variable>	OOpen.get_in
static Function<TCotuple,Variable>	TCotuple.get_in
static Function<OId,Variable>	OId.get_in
static Function<OCotuple,Variable>	OCotuple.get_in
static Function<OCast,Variable>	OCast.get_in
static Function<OSelect,Variable>	OSelect.get_in
static Function<OCoselect,Variable>	OCoselect.get_in
static Function<NList,CheckedMap_RD<Variable,Type>>	NList.get_locals
static Function<CounaryOperation,Variable>	CounaryOperation.get_out
static Function<Operation,Variable>	Operation.get_out
static Function<FVar,Variable>	FVar.get_var
static Function<CDeclare,Variable>	CDeclare.get_var
static Function<Constant,Variable>	Constant.get_var
static Function<EVar,Variable>	EVar.get_var
static Function<Face,Variable>	Face.get_var
static Function<PVar,Variable>	PVar.get_var
static Function<TVar,Variable>	TVar.get_var
protected CheckedMap_RD<Variable,Type>	NList.locals
static Consumer<Variable,OApply>	OApply.set_arg
static Consumer<CheckedMap_D<Variable,Type>,Constraint>	Constraint.set_bindings
static Consumer<CheckedMap_D<Variable,Type>,Pattern>	Pattern.set_bindings
static Consumer<CheckedMap_RD<Label,Variable>,OTuple>	OTuple.set_elems
static Consumer<Variable,OApply>	OApply.set_fun
static Consumer<Variable,TCotuple>	TCotuple.set_in
static Consumer<Variable,OId>	OId.set_in
static Consumer<Variable,OCotuple>	OCotuple.set_in
static Consumer<Variable,OCast>	OCast.set_in
static Consumer<Variable,OSelect>	OSelect.set_in
static Consumer<Variable,OCoselect>	OCoselect.set_in
static Consumer<CheckedMap_RD<Variable,Type>,NList>	NList.set_locals
static Consumer<Variable,Operation>	Operation.set_out
static Consumer<Variable,CDeclare>	CDeclare.set_var
static Consumer<Variable,Constant>	Constant.set_var
static Consumer<Variable,EVar>	EVar.set_var
static Consumer<Variable,Face>	Face.set_var
static Consumer<Variable,PVar>	PVar.set_var
static Consumer<Variable,TVar>	TVar.set_var

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

Variable	Variable.doclone()
Variable	OApply.get_arg()
Variable	OApply.get_fun()
Variable	OClose.get_in()
Variable	OOpen.get_in()
Variable	TCotuple.get_in()
Variable	OId.get_in()
Variable	OCotuple.get_in()
Variable	OCast.get_in()
Variable	OSelect.get_in()
Variable	OCoselect.get_in()
Variable	CounaryOperation.get_out()
Variable	Operation.get_out()
Variable	FVar.get_var()
Variable	CDeclare.get_var()
Variable	Constant.get_var()
Variable	EVar.get_var()
Variable	Face.get_var()
Variable	PVar.get_var()
Variable	TVar.get_var()
Variable	Variable.initFrom(Object o0)

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

CheckedMap_D<Variable,Type>	Constraint.get_bindings()
CheckedMap_D<Variable,Type>	Pattern.get_bindings()
CheckedMap_RD<Label,Variable>	OTuple.get_elems()
CheckedMap_RD<Variable,Type>	NList.get_locals()

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

protected void	__TREEGEN__.Inner1.Inner2.action(Variable e0)
protected void	__Formatter.action(Variable el)
protected void	Visitor.action(Variable e0)
protected void	Rewriter.action(Variable e0)
protected void	MATCH_ONLY_00.action(Variable e0)
boolean	NList.containsKey_locals(Variable key0)
void	MATCH_ONLY_00.match(Variable e0)
void	OTuple.put_elems(Label key0, Variable value)
void	NList.put_locals(Variable key0, Type value)
protected void	Rewriter.rewriteFields(Variable clone)
boolean	OApply.set_arg(Variable val)
boolean	OApply.set_fun(Variable val)
void	OClose.set_in(Variable val)
void	OOpen.set_in(Variable val)
boolean	TCotuple.set_in(Variable val)
boolean	OId.set_in(Variable val)
boolean	OCotuple.set_in(Variable val)
boolean	OCast.set_in(Variable val)
boolean	OSelect.set_in(Variable val)
boolean	OCoselect.set_in(Variable val)
void	CounaryOperation.set_out(Variable val)
boolean	Operation.set_out(Variable val)
void	FVar.set_var(Variable val)
boolean	CDeclare.set_var(Variable val)
boolean	Constant.set_var(Variable val)
boolean	EVar.set_var(Variable val)
boolean	Face.set_var(Variable val)
boolean	PVar.set_var(Variable val)
boolean	TVar.set_var(Variable val)
protected Format	__Formatter.toFormat(Variable el)

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

boolean	Constraint.set_bindings(CheckedMap_D<Variable,Type> val)
boolean	Pattern.set_bindings(CheckedMap_D<Variable,Type> val)
boolean	OTuple.set_elems(CheckedMap_RD<Label,Variable> val)
boolean	NList.set_locals(CheckedMap_RD<Variable,Type> val)

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

AggregateOperation(Variable out)

CDeclare(Variable var, Type domain)

Constant(Variable var, Net net)

EVar(Variable var)

Face(Variable var, Type domain)

FVar(Variable var)

OApply(Variable out, Variable fun, Variable arg)

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

OCast(Variable out, Variable in, Type from, Type to)

OClose(Variable in)

OCoselect(Variable out, Label selector, Variable in)

OCotuple(Variable out, Label selector, Variable in)

OId(Variable out, Variable in)

OOpen(Variable in)

Operation(Variable out)

OSelect(Variable out, Label selector, Variable in)

OTuple(Variable out)

PVar(Variable var)

TCotuple(Label selector, Variable in)

TVar(Variable var)

Uses of Variable in eu.bandm.sig.semantics

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

Variable

Sig2Reducer.reduceVariable(eu.bandm.sig.tdom.Element element)

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

static Multimap<Variable,Variable>	TermAlgebra.defUse(Constraint c)
static Multimap<Variable,Variable>	TermAlgebra.defUse(Constraint c)

Method parameters in eu.bandm.sig.semantics with type arguments of type Variable

static boolean	TestAlgebra.disjoint(Multimap<Variable,Label> possible, Test... ts)
static TypeAlgebra.Evaluator	TypeAlgebra.evaluator(Function<? super Variable,? extends Type> env)
static TypeAlgebra.Evaluator	TypeAlgebra.evaluator(Map<Variable,? extends Type> env)
static boolean	TestAlgebra.isFalse(Multimap<Variable,Label> possible, Test t)
static boolean	TestAlgebra.isTrue(Multimap<Variable,Label> possible, Test t)