Uses of Class
eu.simuline.relana.model.Deficiency

Packages that use Deficiency

Package	Description
eu.simuline.relana.expressions	Classes to describe expressions.
eu.simuline.relana.model	Description for object oriented models in terms of java classes.
eu.simuline.relana.parser	Classes to parse all file types except xml: CClassParser parse *.ccl files representing Component Classes, SClassParser parse *.scl files representing Service Classes and finally FormulaParser parse formulae.

Uses of Deficiency in eu.simuline.relana.expressions

Fields in eu.simuline.relana.expressions with type parameters of type Deficiency

Modifier and Type	Field	Description
private Map<Deficiency,DeficiencyNode>	Type.deficiency2ordering	Maps declared Deficiencys ********** (see SClass.getDeclaredDeficiency2ordering()) to their nodes which determine their predecessors and their successors.
private Set<Deficiency>	Formula.Comp.max
private Set<Deficiency>	Type.maxDefs
private Set<Deficiency>	Formula.Comp.min
private Set<Deficiency>	Type.minDefs
private Set<Deficiency>	Formula.Const.val
private Set<Deficiency>	FormulaDecl.Const.val

Methods in eu.simuline.relana.expressions that return types with arguments of type Deficiency

Modifier and Type	Method	Description
Set<Deficiency>	Type.asSet()	Returns a copy to be modified without affecting the original of the maximal set of deficiencies of this type.
protected Map<Deficiency,DeficiencyNode>	Type.copy()
Set<Deficiency>	Operation.Eval.eval(Set<Set<Deficiency>> param)
(package private) abstract Set<Deficiency>	Operation.Functor.eval(DeficiencyMap map, Set<Deficiency> defs)
(package private) Set<Deficiency>	Operation.Functor.eval(Set<Set<Deficiency>> param, DeficiencyMap map)
Set<Deficiency>	Operation.IntsOp.eval(Set<Set<Deficiency>> param)
Set<Deficiency>	Operation.Maps.eval(Set<Set<Deficiency>> param)
Set<Deficiency>	Operation.UnionOp.eval(Set<Set<Deficiency>> param)
Set<Deficiency>	Type.getCone(Deficiency def)
Set<Deficiency>	Formula.Comp.getConst()
Set<Deficiency>	Formula.Const.getConst()
abstract Set<Deficiency>	Formula.getConst()	Returns the constant represented by this formula, if any.
Set<Deficiency>	Formula.Var.getConst()
Map<Deficiency,DeficiencyNode>	Type.getDeficiency2ordering()
Set<Deficiency>	Formula.Comp.getMax()
Set<Deficiency>	Formula.Const.getMax()
abstract Set<Deficiency>	Formula.getMax()
Set<Deficiency>	Formula.Var.getMax()
Set<Deficiency>	Type.getMax()
Set<Deficiency>	Formula.Comp.getMin()
Set<Deficiency>	Formula.Const.getMin()
abstract Set<Deficiency>	Formula.getMin()
Set<Deficiency>	Formula.Var.getMin()
Set<Deficiency>	Type.getMin()

Methods in eu.simuline.relana.expressions with parameters of type Deficiency

Modifier and Type	Method	Description
abstract Formula	Formula.add(SInstance serv, Deficiency def)
Formula	Formula.Comp.add(SInstance serv, Deficiency def)
Formula	Formula.Const.add(SInstance serv, Deficiency def)
Formula	Formula.Var.add(SInstance serv, Deficiency def)
Set<Deficiency>	Type.getCone(Deficiency def)
boolean	Type.implies(Deficiency def1, Deficiency def2)
Formula	Formula.Comp.remove(SInstance serv, Deficiency def)
Formula	Formula.Const.remove(SInstance serv, Deficiency def)
abstract Formula	Formula.remove(SInstance serv, Deficiency def)
Formula	Formula.Var.remove(SInstance serv, Deficiency def)
Type	Type.remove(Deficiency def)
protected DeficiencyNode	Type.remove(Map<Deficiency,DeficiencyNode> def2ord, Deficiency def)
Type	Type.removeAndAbove(Deficiency def)	Returns a copy of this type where the given Deficiency, and all Deficiencies above it are removed.
void	Type.replace(Deficiency oldDef, Deficiency newDefMin, Deficiency newDefMax, Type type)

Method parameters in eu.simuline.relana.expressions with type arguments of type Deficiency

Modifier and Type	Method	Description
void	Type.addAll(Map<Deficiency,DeficiencyNode> deficiency2ordering)
private static Formula.Const	Formula.Const.create(Set<Deficiency> val, Type type)
Set<Deficiency>	Operation.Eval.eval(Set<Set<Deficiency>> param)
(package private) abstract Set<Deficiency>	Operation.Functor.eval(DeficiencyMap map, Set<Deficiency> defs)
(package private) Set<Deficiency>	Operation.Functor.eval(Set<Set<Deficiency>> param, DeficiencyMap map)
Set<Deficiency>	Operation.IntsOp.eval(Set<Set<Deficiency>> param)
Set<Deficiency>	Operation.Maps.eval(Set<Set<Deficiency>> param)
Set<Deficiency>	Operation.UnionOp.eval(Set<Set<Deficiency>> param)
static FormulaDecl	FormulaDecl.getConst(Type type, Set<Deficiency> val)
boolean	Type.isValid(Set<Deficiency> set)	Returns whether the given set of deficiencies is allowed by this type.
protected DeficiencyNode	Type.remove(Map<Deficiency,DeficiencyNode> def2ord, Deficiency def)

Constructor parameters in eu.simuline.relana.expressions with type arguments of type Deficiency

Constructor	Description
Const(Set<Deficiency> val, Type type)
Const(Type type, Set<Deficiency> val)
Type(Map<Deficiency,DeficiencyNode> deficiency2ordering)

Uses of Deficiency in eu.simuline.relana.model

Fields in eu.simuline.relana.model declared as Deficiency

Modifier and Type	Field	Description
private Deficiency	FlatCInstance.InstDef.def
private Deficiency	DeficiencyNode.deficiency
private Deficiency	DeficiencySetNode.deficiency	The Deficiency to be resolved.
private Deficiency	SClass.maxDef
private Deficiency	SClass.minDef
static Deficiency	Deficiency.UNDET

Fields in eu.simuline.relana.model with type parameters of type Deficiency

Modifier and Type	Field	Description
private Map<Deficiency,BigDecimal>	ProbDistr.def2prob
private Map<Deficiency,BigDecimal>	ProbDistr.Validator.def2prob	Maps a deficiency which is either minimal or conditional to its probability.
private Map<Deficiency,DeficiencyNode>	SClass.deficiency2ordering	Maps declared Deficiencys (see SClass.getDeclaredDeficiency2ordering()) to their nodes which determine their predecessors and their successors.
private Set<Deficiency>	DeficiencySetNode.deficiencySet	The set of elementary Deficiencys resolving DeficiencySetNode.deficiency.
private Set<Deficiency>	ProbDistr.Validator.degenerates	The Deficiencys in the key set of ProbDistr.Validator.def2prob which map to exactly 1.
private Set<Deficiency>	DeficiencyMap.domain	The elements of DeficiencyMap.source for which DeficiencyMap.map(eu.simuline.relana.model.Deficiency) yields a non-null-result.
private Map<Deficiency,DeficiencySetNode>	ProbDistr.Validator.extOrdering	Maps a deficiency to essentially a set of deficiencies it depends on.
private Set<Deficiency>	DeficiencyMap.idDom	The set of deficiencies mapped identically.
private Set<Deficiency>	ProbDistr.Validator.invalids	The Deficiencys in the key set of ProbDistr.Validator.def2prob which map to a value greater than 1.
private Map<Deficiency,SClass>	SClass.oldDef2innerClasses
private Set<Deficiency>	DeficiencyMap.range	The elements of DeficiencyMap.target for which DeficiencyMap.getInverseImage(eu.simuline.relana.model.Deficiency) yields a non-empty result.
private Map<Set<Deficiency>,Deficiency>	DeficiencyMap.setOfNew2old	The set of deficiencies all mapped to the same deficiency.
private Map<Set<Deficiency>,Deficiency>	DeficiencyMap.setOfNew2old	The set of deficiencies all mapped to the same deficiency.
private Map<Set<Deficiency>,Deficiency>	MapDecl.setOfNew2old
private Map<Set<Deficiency>,Deficiency>	MapDecl.setOfNew2old

Methods in eu.simuline.relana.model that return Deficiency

Modifier and Type	Method	Description
Deficiency	DeficiencyNode.getDeficiency()
Deficiency	DeficiencySetNode.getDeficiency()	Returns the Deficiency to be resolved.
Deficiency	SClass.getMaxDefic()
Deficiency	SClass.getMinDefic()
Deficiency	DeficiencyMap.map(Deficiency def)	Performs the mapping.

Methods in eu.simuline.relana.model that return types with arguments of type Deficiency

Modifier and Type	Method	Description
Set<Deficiency>	DeficiencyMap.cont(Set<Deficiency> defs)	Returns the inverse image of defs under this map.
Set<Deficiency>	DeficiencyMap.cov(Set<Deficiency> defs)	Returns the image of defs under this map.
(package private) Map<Deficiency,BigDecimal>	ProbDistr.Validator.error()
(package private) Map<Deficiency,DeficiencyNode>	SClass.getDeclaredDeficiency2ordering()
Map<Deficiency,SClass>	SClass.getDeclaredInnerClasses()
Set<Deficiency>	DeficiencySetNode.getDeficiencySet()	Returns the set of elementary Deficiencys resolving DeficiencySetNode.deficiency.
(package private) Set<Deficiency>	DeficiencyMap.getDomain()	Returns the domain of this map.
(package private) Set<Deficiency>	DeficiencyMap.getInverseImage(Deficiency def)	Returns the inverse image of the given deficiency with respect to this map.
private static Map<Set<Deficiency>,Deficiency>	SClass.getMap(Map<Deficiency,SClass> oldDef2intCls)	Converts a map from the overwritten deficiencies to the overwriting classes, to a map from the set of deficiencies in the class back to the original deficiency.
private static Map<Set<Deficiency>,Deficiency>	SClass.getMap(Map<Deficiency,SClass> oldDef2intCls)	Converts a map from the overwritten deficiencies to the overwriting classes, to a map from the set of deficiencies in the class back to the original deficiency.
Set<Deficiency>	SInstance.getMin()
(package private) Set<Deficiency>	DeficiencyMap.getRange()	Returns the range of this map.
static Set<Deficiency>	DeficiencyNode.unwrap(Set<DeficiencyNode> defNodes)
(package private) Map<Deficiency,BigDecimal>	ProbDistr.Validator.warning()
(package private) Map<Deficiency,BigDecimal>	ProbDistr.Validator.warningError(Set<Deficiency> invOrDeg)

Methods in eu.simuline.relana.model with parameters of type Deficiency

Modifier and Type	Method	Description
FlatCInstance	FlatCInstance.add(SInstance serv, Deficiency def)	Returns the FlatCInstance arising from this one by assuming that def occurs within serv.
(package private) ProbDistr	ProbDistr.add(Deficiency def)
(package private) SInstance	SInstance.add(Deficiency def)	Returns the SInstance arising from this one by removing def in a way that means that def occurs.
(package private) DeficiencySetNode	ProbDistr.Validator.get(Deficiency def)
SClass	SClass.getDeclaredInnerClass(Deficiency def)
(package private) Set<Deficiency>	DeficiencyMap.getInverseImage(Deficiency def)	Returns the inverse image of the given deficiency with respect to this map.
BigDecimal	ProbDistr.getProb(Deficiency def)
Deficiency	DeficiencyMap.map(Deficiency def)	Performs the mapping.
(package private) void	ProbDistr.Validator.put(Deficiency def, DeficiencySetNode dsn)
(package private) void	ProbDistr.Validator.put(Deficiency def, BigDecimal prob)
FlatCInstance	FlatCInstance.remove(SInstance serv, Deficiency def)	Returns the FlatCInstance arising from this one by assuming that def does not occur within serv.
(package private) ProbDistr	ProbDistr.remove(Deficiency def)
(package private) SInstance	SInstance.remove(Deficiency def)	Returns the SInstance arising from this one by removing def in a way that means that def does not occur.

Method parameters in eu.simuline.relana.model with type arguments of type Deficiency

Modifier and Type	Method	Description
private static void	ProbDistr.checkIn01(Map<Deficiency,BigDecimal> def2prob)
Set<Deficiency>	DeficiencyMap.cont(Set<Deficiency> defs)	Returns the inverse image of defs under this map.
Set<Deficiency>	DeficiencyMap.cov(Set<Deficiency> defs)	Returns the image of defs under this map.
private static Map<Set<Deficiency>,Deficiency>	SClass.getMap(Map<Deficiency,SClass> oldDef2intCls)	Converts a map from the overwritten deficiencies to the overwriting classes, to a map from the set of deficiencies in the class back to the original deficiency.
BigDecimal	DeficiencySetNode.getProb(Map<Deficiency,BigDecimal> def2prob)	Returns the probability of the wrapped deficiency DeficiencySetNode.deficiency if replaced by the set DeficiencySetNode.deficiencySet of deficiencies which are assumed to be independent.
(package private) BigDecimal	ProbDistr.Validator.getProb(Set<Deficiency> defs)
static SClass	SClass.getSClass(String sName, Package pkg, SClass superClass, Map<Deficiency,SClass> oldDef2innerClasses, Map<Deficiency,DeficiencyNode> def2ord)
static DeficiencyMap	DeficiencyMap.getSubclassMap(Map<Set<Deficiency>,Deficiency> setOfNew2old, SClass source, SClass target)
static DeficiencyMap	DeficiencyMap.getSubclassMap(Map<Set<Deficiency>,Deficiency> setOfNew2old, SClass source, SClass target)
private ProbDistr.Validator	ProbDistr.init(ProbDistr.Inverter inv, Stack<Deficiency> minDefs, Set<DeficiencyNode> nMinNodes)	Describe init method here.
(package private) Map<Deficiency,BigDecimal>	ProbDistr.Validator.warningError(Set<Deficiency> invOrDeg)

Constructors in eu.simuline.relana.model with parameters of type Deficiency

Constructor	Description
DeficiencyNode(Deficiency deficiency)
DeficiencyNode(Deficiency deficiency, Set<DeficiencyNode> predecessors, Set<DeficiencyNode> successors)
DeficiencySetNode(Deficiency deficiency, Set<Deficiency> deficiencySet)
InstDef(SInstance serv, Deficiency def)

Constructor parameters in eu.simuline.relana.model with type arguments of type Deficiency

Constructor	Description
DeficiencyMap(Map<Set<Deficiency>,Deficiency> setOfNew2old, SClass source, SClass target, Set<Deficiency> idDom)
DeficiencyMap(Map<Set<Deficiency>,Deficiency> setOfNew2old, SClass source, SClass target, Set<Deficiency> idDom)
DeficiencyMap(Map<Set<Deficiency>,Deficiency> setOfNew2old, SClass source, SClass target, Set<Deficiency> idDom)
DeficiencySetNode(Deficiency deficiency, Set<Deficiency> deficiencySet)
MapDecl(boolean isRedeclare, String mapName, Map<Set<Deficiency>,Deficiency> setOfNew2old, SClass source, SClass target, Set<Deficiency> idDom)
MapDecl(boolean isRedeclare, String mapName, Map<Set<Deficiency>,Deficiency> setOfNew2old, SClass source, SClass target, Set<Deficiency> idDom)
MapDecl(boolean isRedeclare, String mapName, Map<Set<Deficiency>,Deficiency> setOfNew2old, SClass source, SClass target, Set<Deficiency> idDom)
ProbDistr(Type type, Map<Deficiency,ProbDistr> old2ProbDistr, Map<Deficiency,BigDecimal> def2prob)
ProbDistr(Type type, Map<Deficiency,BigDecimal> def2prob)
SClass(String sName, Package pkg, SClass superClass, Map<Deficiency,SClass> oldDef2innerClasses, Map<Deficiency,DeficiencyNode> deficiency2ordering)
Validator(Map<Deficiency,BigDecimal> def2prob)

Uses of Deficiency in eu.simuline.relana.parser

Fields in eu.simuline.relana.parser with type parameters of type Deficiency

Modifier and Type	Field	Description
Map<Deficiency,ProbDistr>	CClassParser.ReplDistrContext.def2distr
Map<Deficiency,BigDecimal>	CClassParser.AddProbAllocContext.def2prob
Map<Deficiency,DeficiencyNode>	SClassParser.AddDeficiencyContext.deficiency2ordering
Map<Deficiency,DeficiencyNode>	SClassParser.AddRelationContext.deficiency2ordering
Map<Deficiency,DeficiencyNode>	SClassParser.AddRelationsContext.deficiency2ordering
Map<Deficiency,DeficiencyNode>	SClassParser.GetCheckedDeficienciesContext.deficiency2ordering
Map<Deficiency,DeficiencyNode>	SClassParser.GetDeficienciesContext.deficiency2ordering
Set<Deficiency>	CClassParser.AddDefContext.defs
Set<Deficiency>	CClassParser.AddToIdDomContext.idDomain
Set<Deficiency>	SClassParser.AddMapContext.newDefs
Set<Deficiency>	SClassParser.GetCheckedDeficienciesContext.newDefs
Set<Deficiency>	SClassParser.GetInnerClsContext.newDefs
Map<Deficiency,SClass>	SClassParser.AddMapContext.old2innerCls
Map<Deficiency,SClass>	SClassParser.GetInnerClsContext.old2innerCls
Set<Deficiency>	SClassParser.AddMapContext.oldDefs
Map<Deficiency,SClass>	SClassParser.AddMapContext.res
Map<Set<Deficiency>,Deficiency>	CClassParser.Add2DefMapContext.setOfSrc2targ
Map<Set<Deficiency>,Deficiency>	CClassParser.Add2DefMapContext.setOfSrc2targ

Method parameters in eu.simuline.relana.parser with type arguments of type Deficiency

Modifier and Type	Method	Description
CClassParser.Add2DefMapContext	CClassParser.add2DefMap(Map<Set<Deficiency>,Deficiency> setOfSrc2targ)
CClassParser.Add2DefMapContext	CClassParser.add2DefMap(Map<Set<Deficiency>,Deficiency> setOfSrc2targ)
CClassParser.AddDefContext	CClassParser.addDef(Set<Deficiency> defs)
SClassParser.AddDeficiencyContext	SClassParser.addDeficiency(Map<Deficiency,DeficiencyNode> deficiency2ordering)
SClassParser.AddMapContext	SClassParser.addMap(Set<Deficiency> oldDefs, Map<Deficiency,SClass> old2innerCls, Set<Deficiency> newDefs)
SClassParser.AddMapContext	SClassParser.addMap(Set<Deficiency> oldDefs, Map<Deficiency,SClass> old2innerCls, Set<Deficiency> newDefs)
CClassParser.AddProbAllocContext	CClassParser.addProbAlloc(Map<Deficiency,BigDecimal> def2prob)
SClassParser.AddRelationContext	SClassParser.addRelation(Map<Deficiency,DeficiencyNode> deficiency2ordering)
SClassParser.AddRelationsContext	SClassParser.addRelations(Map<Deficiency,DeficiencyNode> deficiency2ordering)
CClassParser.AddToIdDomContext	CClassParser.addToIdDom(Set<Deficiency> idDomain)
SClassParser.GetCheckedDeficienciesContext	SClassParser.getCheckedDeficiencies(Set<Deficiency> newDefs)
SClassParser.GetInnerClsContext	SClassParser.getInnerCls(SClass superclass, Set<Deficiency> newDefs)
CClassParser.ReplDistrContext	CClassParser.replDistr(Map<Deficiency,ProbDistr> def2distr, SClass sClass)

Constructor parameters in eu.simuline.relana.parser with type arguments of type Deficiency

Constructor	Description
Add2DefMapContext(ParserRuleContext parent, int invokingState, Map<Set<Deficiency>,Deficiency> setOfSrc2targ)
Add2DefMapContext(ParserRuleContext parent, int invokingState, Map<Set<Deficiency>,Deficiency> setOfSrc2targ)
AddDefContext(ParserRuleContext parent, int invokingState, Set<Deficiency> defs)
AddDeficiencyContext(ParserRuleContext parent, int invokingState, Map<Deficiency,DeficiencyNode> deficiency2ordering)
AddMapContext(ParserRuleContext parent, int invokingState, Set<Deficiency> oldDefs, Map<Deficiency,SClass> old2innerCls, Set<Deficiency> newDefs)
AddMapContext(ParserRuleContext parent, int invokingState, Set<Deficiency> oldDefs, Map<Deficiency,SClass> old2innerCls, Set<Deficiency> newDefs)
AddProbAllocContext(ParserRuleContext parent, int invokingState, Map<Deficiency,BigDecimal> def2prob)
AddRelationContext(ParserRuleContext parent, int invokingState, Map<Deficiency,DeficiencyNode> deficiency2ordering)
AddRelationsContext(ParserRuleContext parent, int invokingState, Map<Deficiency,DeficiencyNode> deficiency2ordering)
AddToIdDomContext(ParserRuleContext parent, int invokingState, Set<Deficiency> idDomain)
GetCheckedDeficienciesContext(ParserRuleContext parent, int invokingState, Set<Deficiency> newDefs)
GetInnerClsContext(ParserRuleContext parent, int invokingState, SClass superclass, Set<Deficiency> newDefs)
ReplDistrContext(ParserRuleContext parent, int invokingState, Map<Deficiency,ProbDistr> def2distr, SClass sClass)