Operation.Maps (Relana 1.0 API)

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

All Implemented Interfaces:

Operation.Eval

Enclosing class:

Operation
```
public static final class Operation.Maps
extends Operation
implements Operation.Eval
```
Represents an operation defined by a covariant/contravariant functor. ****

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

Field Summary

Fields
Modifier and Type Field Description

private Operation.Functor funct

private String funName

private boolean isInverted

private DeficiencyMap map

Constructor Summary

Constructors
Constructor Description

Maps(String funName, boolean isInverted, DeficiencyMap map, Operation.Functor funct)

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)`
`private DeficiencyMap`	`getMap()`
`Operation`	`getOperation()`
`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

Field Detail

funName
```
private final String funName
```

isInverted
```
private final boolean isInverted
```

map
```
private final DeficiencyMap map
```

funct
```
private final Operation.Functor funct
```

Constructor Detail

Maps

public Maps(String funName,
            boolean isInverted,
            DeficiencyMap map,
            Operation.Functor funct)

Method Detail
- getMap
```
private DeficiencyMap getMap()
```
- 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
```
public boolean isIsoAntitone()
```
  Specified by:
  
  isIsoAntitone in class Operation
- toString
```
public String toString()
```
  Overrides:
  
  toString in class Object