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

Packages that use Constraint

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

Subclasses of Constraint in eu.bandm.sig.absy

class	BinaryConstraint
class	BinaryContext
class	CAxiom
class	CCall
class	CDeclare
class	CDisjoint
class	CEquation
class	CFalse
class	CIntersect
class	COverlay
class	CTrue

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

protected Constraint	EBox.body
protected Constraint	ELet.constraint
protected Constraint	BinaryContext.left
protected Constraint	BinaryConstraint.left
protected Constraint	BinaryContext.right
protected Constraint	BinaryConstraint.right

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

static Function<Constraint,CheckedMap_D<Variable,Type>>	Constraint.get_bindings
static Function<EBox,Constraint>	EBox.get_body
static Function<ELet,Constraint>	ELet.get_constraint
static Function<BinaryContext,Constraint>	BinaryContext.get_left
static Function<BinaryConstraint,Constraint>	BinaryConstraint.get_left
static Function<BinaryContext,Constraint>	BinaryContext.get_right
static Function<BinaryConstraint,Constraint>	BinaryConstraint.get_right
static Consumer<CheckedMap_D<Variable,Type>,Constraint>	Constraint.set_bindings
static Consumer<Constraint,EBox>	EBox.set_body
static Consumer<Constraint,ELet>	ELet.set_constraint
static Consumer<Constraint,BinaryConstraint>	BinaryConstraint.set_left
static Consumer<Constraint,BinaryConstraint>	BinaryConstraint.set_right

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

Constraint	Constraint.doclone()
Constraint	EBox.get_body()
Constraint	ELet.get_constraint()
Constraint	BinaryContext.get_left()
Constraint	BinaryConstraint.get_left()
Constraint	BinaryContext.get_right()
Constraint	BinaryConstraint.get_right()
Constraint	Constraint.initFrom(Object o0)

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

protected void	__TREEGEN__.Inner1.Inner2.action(Constraint e0)
protected void	__Formatter.action(Constraint el)
protected void	Visitor.action(Constraint e0)
protected void	Rewriter.action(Constraint e0)
protected void	MATCH_ONLY_00.action(Constraint e0)
void	MATCH_ONLY_00.match(Constraint e0)
protected void	Rewriter.rewriteFields(Constraint clone)
boolean	EBox.set_body(Constraint val)
boolean	ELet.set_constraint(Constraint val)
void	BinaryContext.set_left(Constraint val)
boolean	BinaryConstraint.set_left(Constraint val)
void	BinaryContext.set_right(Constraint val)
boolean	BinaryConstraint.set_right(Constraint val)
protected Format	__Formatter.toFormat(Constraint el)

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

BinaryConstraint(Constraint left, Constraint right)

BinaryContext(Constraint left, Constraint right)

CDisjoint(Constraint left, Constraint right)

CIntersect(Constraint left, Constraint right)

COverlay(Constraint left, Constraint right)

EBox(PVar iface, PVar oface, Constraint body)

ELet(Constraint constraint, Expression body)

Uses of Constraint in eu.bandm.sig.semantics

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

Constraint	Normalizer.normalize(Constraint c)
Constraint	Sig2Reducer.reduceConstraint(eu.bandm.sig.tdom.Element element)

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

static Multimap<Variable,Variable>	TermAlgebra.defUse(Constraint c)
Net	Normalizer.netify(Constraint c)
Constraint	Normalizer.normalize(Constraint c)
static eu.bandm.sig.semantics.TermAlgebra.Variables	TermAlgebra.variables(Constraint c)