FormulaDecl.Const (Relana 1.0 API)

java.lang.Object
- eu.simuline.relana.expressions.FormulaDecl
- - eu.simuline.relana.expressions.FormulaDecl.Const

Enclosing class:

FormulaDecl
```
static final class FormulaDecl.Const
extends FormulaDecl
```
Represents atomic formulae consisting of a constant only.

- Nested Class Summary
  - Nested classes/interfaces inherited from class eu.simuline.relana.expressions.FormulaDecl
    FormulaDecl.Comp, FormulaDecl.Const, FormulaDecl.Var
- Field Summary
  
  Fields
  Modifier and Type Field Description
  
  private Type type
  
  private Set<Deficiency> val
- Constructor Summary
  
  Constructors
  Constructor Description
  
  Const(Type type, Set<Deficiency> val)
- Method Summary
  
  All Methods Instance Methods Concrete Methods
  Modifier and Type Method Description
  
  Formula resolve(CInstance cInst)
  
  Type retType()
  
  String toString()
  - Methods inherited from class eu.simuline.relana.expressions.FormulaDecl
    equals, getComp, getConst, getVar, hashCode
  - Methods inherited from class java.lang.Object
    clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

val
```
private final Set<Deficiency> val
```

type
```
private final Type type
```

Constructor Detail

Const

Const(Type type,
      Set<Deficiency> val)

Method Detail
- retType
```
public Type retType()
```
  Specified by:
  
  retType in class FormulaDecl
- resolve
```
public Formula resolve(CInstance cInst)
```
  Specified by:
  
  resolve in class FormulaDecl
- toString
```
public String toString()
```
  Overrides:
  
  toString in class Object