Operation.CompOp (Relana 1.0 Test API)

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

Enclosing class:

Operation
```
static final class Operation.CompOp
extends Operation
```
Defines the basic set theoretic 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

CompOp()

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`(package private) boolean`	`arity1()`
`Operation.Eval`	`getEval(Type type)`
`(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
  - CompOp
```
CompOp()
```
- Method Detail
  - arity1
```
boolean arity1()
```
    Specified by:
    
    arity1 in class Operation
  - retType
```
public Type retType(Set<FormulaDecl> args)
```
    Specified by:
    
    retType in class Operation
  - getEval
```
public Operation.Eval getEval(Type type)
```
    Specified by:
    
    getEval in class Operation
  - isIsoAntitone
```
boolean isIsoAntitone()
```
    Specified by:
    
    isIsoAntitone in class Operation
  - toString
```
public String toString()
```
    Overrides:
    
    toString in class Object