Package eu.simuline.relana.expressions

Class Operation

java.lang.Object

eu.simuline.relana.expressions.Operation

Direct Known Subclasses:

Operation.CompOp, Operation.IntsOp, Operation.Maps, Operation.UnionOp

public abstract class Operation
extends Object

Represents the operations as intersection, union, complement, covariant and contravariant functors and maps. Created: Fri Apr 29 01:57:48 2005

Version:

1.0

Author:

Ernst Reissner

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	Operation.BaseOps	Comprises the basic set theoretic operations union, intersection and complement.
(package private) static class	Operation.CompOp	Defines the basic set theoretic complement.
static interface	Operation.Eval
static class	Operation.Functor	Enumerates the kinds of functors covariant and contravariant ones
(package private) static class	Operation.IntsOp	Defines the basic set theoretic intersection.
static class	Operation.Maps	Represents an operation defined by a covariant/contravariant functor
(package private) static class	Operation.UnionOp	Defines the basic set theoretic union complement.

Constructor Summary

Constructors

Constructor	Description
Operation()

Method Summary

Modifier and Type	Method	Description
(package private) abstract boolean	arity1()
abstract Operation.Eval	getEval(Type type)
static Operation	getOperation(Operation.BaseOps baseOps)
static Operation	getOperation(String funName, boolean isInverted, DeficiencyMap map, Operation.Functor funct)
(package private) abstract boolean	isIsoAntitone()
abstract Type	retType(Set<FormulaDecl> args)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Operation

public Operation()

Method Detail

arity1

abstract boolean arity1()

isIsoAntitone

abstract boolean isIsoAntitone()

retType

public abstract Type retType(Set<FormulaDecl> args)

getEval

public abstract Operation.Eval getEval(Type type)

getOperation

public static Operation getOperation(Operation.BaseOps baseOps)

getOperation

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