Package eu.simuline.relana.expressions

Class Operation.Maps

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

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