Uses of Class
eu.simuline.relana.expressions.Operation

Packages that use Operation

Package	Description
eu.simuline.relana.expressions	Classes to describe expressions.

Uses of Operation in eu.simuline.relana.expressions

Subclasses of Operation in eu.simuline.relana.expressions

Modifier and Type	Class	Description
(package private) static class	Operation.CompOp	Defines the basic set theoretic complement.
(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.

Fields in eu.simuline.relana.expressions declared as Operation

Modifier and Type	Field	Description
private Operation	FormulaDecl.Comp.oper
private Operation	Operation.BaseOps.oper

Methods in eu.simuline.relana.expressions that return Operation

Modifier and Type	Method	Description
(package private) Operation	Operation.BaseOps.getOperation()
static Operation	Operation.BaseOps.getOperation(String str)
Operation	Operation.Eval.getOperation()
static Operation	Operation.getOperation(Operation.BaseOps baseOps)
static Operation	Operation.getOperation(String funName, boolean isInverted, DeficiencyMap map, Operation.Functor funct)
Operation	Operation.IntsOp.getOperation()
Operation	Operation.Maps.getOperation()
Operation	Operation.UnionOp.getOperation()

Methods in eu.simuline.relana.expressions with parameters of type Operation

Modifier and Type	Method	Description
static FormulaDecl	FormulaDecl.getComp(Operation oper, Set<FormulaDecl> args)

Constructors in eu.simuline.relana.expressions with parameters of type Operation

Constructor	Description
BaseOps(Operation oper)
Comp(Operation oper, Set<FormulaDecl> args)