Package eu.simuline.relana.model

Class FlatCInstance

java.lang.Object

eu.simuline.relana.model.FlatCInstance

public final class FlatCInstance
extends Object

Instance of Component. Created: Thu Apr 14 23:02:05 2005

Version:

1.0

Author:

Ernst Reissner

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
private static class	FlatCInstance.InstDef	A container comprising an SInstance and of one of its minimal Deficiencys.

Field Summary

Fields

Modifier and Type	Field	Description
private Map<List<String>,SInstance>	effects	Maps the names of the effects to their instances.
(package private) static Comparator<List<String>>	PATH_CMP

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	Description
FlatCInstance	add(SInstance serv, Deficiency def)	Returns the FlatCInstance arising from this one by assuming that def occurs within serv.
SInstance	getEffect(InstanceLocator loc)
SInstance	getEffect(List<String> path)
(package private) Map<List<String>,SInstance>	getEffects()
BigDecimal	getProb(List<String> sPath)	Returns the probability that the effect specified by sPath is not the empty set.
private FlatCInstance.InstDef	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	remove(SInstance serv, Deficiency def)	Returns the FlatCInstance arising from this one by assuming that def does not occur within serv.
(package private) FlatCInstance	substitute(SInstance serv, Formula form)	Returns the FlatCInstance arising from this one by substituting serv by form in all effects.
String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

PATH_CMP

static final Comparator<List<String>> PATH_CMP

effects

private final Map<List<String>,SInstance> effects

Maps the names of the effects to their instances.

Constructor Detail

FlatCInstance

public FlatCInstance(Map<List<String>,SInstance> effects)

Method Detail

getEffects

Map<List<String>,SInstance> getEffects()

getEffect

public SInstance getEffect(InstanceLocator loc)

getEffect

public SInstance getEffect(List<String> path)

remove

public FlatCInstance remove(SInstance serv,
                            Deficiency def)

Returns the FlatCInstance arising from this one by assuming that def does not occur within serv.

Parameters:

serv - a SInstance with probability distribution. serv.distr != null.

def - a Deficiency minimal within the type of serv. **** is this unique or not? ****

Returns:

a FlatCInstance arising from this one by assuming that def does not occur within serv.

add

public FlatCInstance add(SInstance serv,
                         Deficiency def)

Returns the FlatCInstance arising from this one by assuming that def occurs within serv.

Parameters:

serv - a SInstance with probability distribution. serv.distr != null.

def - a Deficiency minimal within the type of serv. **** is this unique or not? ****

Returns:

a FlatCInstance arising from this one by assuming that def occurs within serv.

substitute

FlatCInstance substitute(SInstance serv,
                         Formula form)

Returns the FlatCInstance arising from this one by substituting serv by form in all effects.

Parameters:

serv - a SInstance.

form - a Formula of appropriate type. ****

Returns:

a FlatCInstance arising from this one by substituting serv by form in all effects using SInstance.substitute(eu.simuline.relana.model.SInstance, eu.simuline.relana.expressions.Formula).

instDefic

private FlatCInstance.InstDef 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. If no such variable exists, the variables within the formula (which are then all associated with formulae) are substituted within the root formula, by their associated formulae.

Parameters:

serv - an SInstance given by a formula. **** what if no formula is present? ****

Returns:

an InstDef consisting of a variable occuring in the formula and its minimal deficiency. If this does not exist, null is returned.

getProb

public BigDecimal getProb(List<String> sPath)

Returns the probability that the effect specified by sPath is not the empty set. It is intended to be applied primarily to Boolean effects, i.e. to effects isomorphic to Boolean ones, i.e. to one-point effects. Then this method returns the probability for true.

Parameters:

sPath - identifies a effect.

Returns:

the probability described above as a BigDecimal value.

toString

public String toString()

Overrides:

toString in class Object