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

Packages that use Rule

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

Subclasses of Rule in eu.bandm.sig.absy

class	BinaryRule
class	RDisjoint
class	REquation
class	RFail
class	RIntersect
class	ROverlay
class	RSucceed

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

protected Rule	BinaryRule.left
protected Rule	SAX_Parser.XMLPARSER_Rule.newobj
protected Rule	BinaryRule.right
protected Rule	EFun.rule

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

static Function<Rule,Type>	Rule.get_domain
static Function<BinaryRule,Rule>	BinaryRule.get_left
static Function<Rule,Type>	Rule.get_range
static Function<BinaryRule,Rule>	BinaryRule.get_right
static Function<EFun,Rule>	EFun.get_rule
static Function<LambdaExpr,CheckedMap_RD<Label,Rule>>	LambdaExpr.get_rules
static Function<CaseExpr,CheckedMap_RD<Label,Rule>>	CaseExpr.get_rules
protected CheckedMap_RD<Label,Rule>	LambdaExpr.rules
protected CheckedMap_RD<Label,Rule>	CaseExpr.rules
static Consumer<Type,Rule>	Rule.set_domain
static Consumer<Rule,BinaryRule>	BinaryRule.set_left
static Consumer<Type,Rule>	Rule.set_range
static Consumer<Rule,BinaryRule>	BinaryRule.set_right
static Consumer<Rule,EFun>	EFun.set_rule

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

Rule	Rule.doclone()
Rule	BinaryRule.get_left()
Rule	BinaryRule.get_right()
Rule	EFun.get_rule()
Rule	Rule.initFrom(Object o0)
Rule	SAX_Parser.matchSAX_Rule(eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)
Rule	SAX_Parser.XMLPARSER_Rule.parseSAX()

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

CheckedMap_RD<Label,Rule>	LambdaExpr.get_rules()
CheckedMap_RD<Label,Rule>	CaseExpr.get_rules()
protected CheckedMap_RD<Label,Rule>	SAX_Parser.parse_1()
protected CheckedMap_RD<Label,Rule>	SAX_Parser.parse_3()

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

void	SAX_Writer.action(Rule e0)
protected void	__TREEGEN__.Inner1.Inner2.action(Rule e0)
protected void	__Formatter.action(Rule el)
protected void	Visitor.action(Rule e0)
protected void	Rewriter.action(Rule e0)
protected void	MATCH_ONLY_00.action(Rule e0)
void	SAX_Writer.dumpfields(Rule e0)
void	MATCH_ONLY_00.match(Rule e0)
void	SAX_Parser.XMLPARSER_Rule.parsefields(Rule newobj, eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)
void	LambdaExpr.put_rules(Label key0, Rule value)
void	CaseExpr.put_rules(Label key0, Rule value)
protected void	Rewriter.rewriteFields(Rule clone)
boolean	BinaryRule.set_left(Rule val)
boolean	BinaryRule.set_right(Rule val)
boolean	EFun.set_rule(Rule val)
protected Format	__Formatter.toFormat(Rule el)

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

void	LambdaExpr.set_rules(CheckedMap_RD<Label,Rule> val)
void	CaseExpr.set_rules(CheckedMap_RD<Label,Rule> val)

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

BinaryRule(Rule left, Rule right)

EFun(Rule rule)

RDisjoint(Rule left, Rule right)

RIntersect(Rule left, Rule right)

ROverlay(Rule left, Rule right)

Uses of Rule in eu.bandm.sig.semantics

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

Rule	Sig2Reducer.reduceRule(eu.bandm.sig.tdom.Element element)

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

static eu.bandm.sig.semantics.TermAlgebra.Variables

TermAlgebra.variables(Rule r)