Operation.UnionOp (Relana 1.0 API)

java.lang.Object
- eu.simuline.relana.expressions.Operation
- - eu.simuline.relana.expressions.Operation.UnionOp

All Implemented Interfaces:

Operation.Eval

Enclosing class:

Operation
```
static final class Operation.UnionOp
extends Operation
implements Operation.Eval
```
Defines the basic set theoretic union complement.

Nested Class Summary
- Nested classes/interfaces inherited from class eu.simuline.relana.expressions.Operation
  Operation.BaseOps, Operation.CompOp, Operation.Eval, Operation.Functor, Operation.IntsOp, Operation.Maps, Operation.UnionOp

Constructor Summary

Constructors
Constructor Description

UnionOp()

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`(package private) boolean`	`arity1()`
`Set<Deficiency>`	`eval(Set<Set<Deficiency>> param)`
`Operation.Eval`	`getEval(Type type)`
`Operation`	`getOperation()`
`(package private) boolean`	`isIsoAntitone()`
`Type`	`retType(Set<FormulaDecl> args)`
`String`	`toString()`

Methods inherited from class eu.simuline.relana.expressions.Operation
getOperation, getOperation

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

- Constructor Detail
  - UnionOp
```
UnionOp()
```
- Method Detail
  - arity1
```
boolean arity1()
```
    Specified by:
    
    arity1 in class Operation
  - retType
```
public Type retType(Set<FormulaDecl> args)
```
    Specified by:
    
    retType in class Operation
  - eval
```
public Set<Deficiency> eval(Set<Set<Deficiency>> param)
```
    Specified by:
    
    eval in interface Operation.Eval
  - getEval
```
public Operation.Eval getEval(Type type)
```
    Specified by:
    
    getEval in class Operation
  - getOperation
```
public Operation getOperation()
```
    Specified by:
    
    getOperation in interface Operation.Eval
  - isIsoAntitone
```
boolean isIsoAntitone()
```
    Specified by:
    
    isIsoAntitone in class Operation
  - toString
```
public String toString()
```
    Overrides:
    
    toString in class Object