FormulaDecl.Comp (Relana 1.0 API)

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

Enclosing class:

FormulaDecl
```
static final class FormulaDecl.Comp
extends FormulaDecl
```
Represents composite formulae consisting of a operation oper and a set of arguments args.

- 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 Set<FormulaDecl> args
  
  private Operation oper
- Constructor Summary
  
  Constructors
  Constructor Description
  
  Comp(Operation oper, Set<FormulaDecl> args)
- 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

oper
```
private final Operation oper
```

args
```
private final Set<FormulaDecl> args
```

Constructor Detail

Comp

Comp(Operation oper,
     Set<FormulaDecl> args)

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