Orch.SV (A VDM model checker for Model Definition 2.3.0 API)

java.lang.Object
- org.intocps.fmichecker.Orch.SV

All Implemented Interfaces:

Serializable, org.overture.codegen.runtime.Record, org.overture.codegen.runtime.ValueType

Enclosing class:

Orch
```
public static class Orch.SV
extends Object
implements org.overture.codegen.runtime.Record
```
See Also:

Serialized Form

- Field Summary
  
  Fields
  Modifier and Type Field Description
  
  Object causality
  
  Object initial
  
  Orch.Type type
  
  Object variability
- Constructor Summary
  
  Constructors
  Constructor Description
  
  SV(Object _causality, Object _variability, Object _initial, Orch.Type _type)
- Method Summary
  
  All Methods Instance Methods Concrete Methods
  Modifier and Type Method Description
  
  Orch.SV copy()
  
  boolean equals(Object obj)
  
  int hashCode()
  
  String toString()
  - Methods inherited from class java.lang.Object
    clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

causality
```
public Object causality
```

variability
```
public Object variability
```

initial
```
public Object initial
```

type
```
public Orch.Type type
```

Constructor Detail

SV

public SV(Object _causality,
          Object _variability,
          Object _initial,
          Orch.Type _type)

Method Detail
- equals
```
public boolean equals(Object obj)
```
  Overrides:
  
  equals in class Object
- hashCode
```
public int hashCode()
```
  Overrides:
  
  hashCode in class Object
- copy
```
public Orch.SV copy()
```
  Specified by:
  
  copy in interface org.overture.codegen.runtime.Record
  
  Specified by:
  
  copy in interface org.overture.codegen.runtime.ValueType
- toString
```
public String toString()
```
  Overrides:
  
  toString in class Object