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

Packages that use SInstance

Package	Description
eu.simuline.relana.expressions	Classes to describe expressions.
eu.simuline.relana.model	Description for object oriented models in terms of java classes.

Uses of SInstance in eu.simuline.relana.expressions

Fields in eu.simuline.relana.expressions declared as SInstance

Modifier and Type	Field	Description
private SInstance	Formula.Var.varS

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

Modifier and Type	Method	Description
Set<SInstance>	Formula.Comp.getVars()
Set<SInstance>	Formula.Const.getVars()
abstract Set<SInstance>	Formula.getVars()
Set<SInstance>	Formula.Var.getVars()

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

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)
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)
Formula	Formula.Comp.substitute(SInstance serv, Formula form)
Formula	Formula.Const.substitute(SInstance serv, Formula form)
abstract Formula	Formula.substitute(SInstance serv, Formula form)
Formula	Formula.Var.substitute(SInstance serv, Formula form)

Constructors in eu.simuline.relana.expressions with parameters of type SInstance

Constructor	Description
Var(SInstance varS, String name)

Uses of SInstance in eu.simuline.relana.model

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

Modifier and Type	Field	Description
private SInstance	FlatCInstance.InstDef.serv

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

Modifier and Type	Field	Description
private Map<String,SInstance>	CInstance.effects	Maps the names of the effects to their instances.
private Map<List<String>,SInstance>	FlatCInstance.effects	Maps the names of the effects to their instances.

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

Modifier and Type	Method	Description
(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.
SInstance	CInstance.getEffect(List<String> path)
SInstance	FlatCInstance.getEffect(InstanceLocator loc)
SInstance	FlatCInstance.getEffect(List<String> path)
(package private) SInstance	CClass.SClassDecl.getSInstance()	Returns a effect according to this declaration.
(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.
(package private) SInstance	SInstance.substitute(SInstance serv, Formula form)

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

Modifier and Type	Method	Description
(package private) Map<String,SInstance>	CInstance.getEffects()
(package private) Map<List<String>,SInstance>	FlatCInstance.getEffects()

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

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) void	CInstance.addEffect(String name, SInstance sInst)	Adds the given effect under the given name.
private FlatCInstance.InstDef	FlatCInstance.instDefic(SInstance serv)	Maps the given effect which is given by a formula, onto an FlatCInstance.InstDef consisting of a variable with probability distribution occuring in the formula and its minimal deficiency.
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) FlatCInstance	FlatCInstance.substitute(SInstance serv, Formula form)	Returns the FlatCInstance arising from this one by substituting serv by form in all effects.
(package private) SInstance	SInstance.substitute(SInstance serv, Formula form)

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

Constructor	Description
InstDef(SInstance serv, Deficiency def)
SInstance(SInstance other)

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

Constructor	Description
FlatCInstance(Map<List<String>,SInstance> effects)