FlatCInstance.InstDef (Relana 1.0 Test API)

java.lang.Object
- eu.simuline.relana.model.FlatCInstance.InstDef

Enclosing class:

FlatCInstance
```
private static class FlatCInstance.InstDef
extends Object
```
A container comprising an SInstance and of one of its minimal Deficiencys. This is needed for probability computations: The variable of the SInstance is replaced by another one, eliminating the given Deficiency.

- Field Summary
  
  Fields
  Modifier and Type Field Description
  
  private Deficiency def
  
  private SInstance serv
- Constructor Summary
  
  Constructors
  Constructor Description
  
  InstDef(SInstance serv, Deficiency def)
- Method Summary
  - Methods inherited from class java.lang.Object
    clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

serv
```
private final SInstance serv
```

def
```
private final Deficiency def
```

Constructor Detail

InstDef

InstDef(SInstance serv,
        Deficiency def)