Package eu.simuline.relana.model

Class SInstance

java.lang.Object

eu.simuline.relana.model.SInstance

public final class SInstance
extends Object

Represents the instance of an SClass. Created: Thu Apr 14 22:51:12 2005

Version:

1.0

Author:

Ernst Reissner

Field Summary

Fields

Modifier and Type	Field	Description
private ProbDistr	distr
private Formula	form
private String	name
private Type	type	The SClass of this instance.

Constructor Summary

Constructors

Constructor	Description
SInstance(Type type, ProbDistr distr, String name)
SInstance(SInstance other)

Method Summary

Modifier and Type	Method	Description
(package private) SInstance	add(Deficiency def)	Returns the SInstance arising from this one by removing def in a way that means that def occurs.
boolean	equals(Object obj)
ProbDistr	getDistr()
Formula	getFormula()
Set<Deficiency>	getMin()
(package private) String	getName()
Type	getType()
int	hashCode()
(package private) SInstance	remove(Deficiency def)	Returns the SInstance arising from this one by removing def in a way that means that def does not occur.
void	setFormula(Formula form)
(package private) SInstance	substitute(SInstance serv, Formula form)
String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

type

private final Type type

The SClass of this instance.

distr

private final ProbDistr distr

form

private Formula form

name

private final String name

Constructor Detail

SInstance

public SInstance(Type type,
                 ProbDistr distr,
                 String name)

SInstance

public SInstance(SInstance other)

Method Detail

getName

String getName()

setFormula

public void setFormula(Formula form)

getType

public Type getType()

getDistr

public ProbDistr getDistr()

getFormula

public Formula getFormula()

getMin

public Set<Deficiency> getMin()

remove

SInstance remove(Deficiency def)

Returns the SInstance arising from this one by removing def in a way that means that def does not occur. This means that all deficiencies above def are removed as well. CAUTION: This may return null.

Parameters:

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

Returns:

the SInstance arising from this one by assuming that def does not occur for this effect. Note that if def is minimal within the type of this effect, the resulting type is empty. Since this is not allowed for SInstances, this method must return null.

add

SInstance add(Deficiency def)

Returns the SInstance arising from this one by removing def in a way that means that def occurs.

Parameters:

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

Returns:

the SInstance arising from this one by assuming that def does occurs for this effect.

substitute

SInstance substitute(SInstance serv,
                     Formula form)

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object