Uses of Interface
eu.simuline.relana.expressions.Operation.Eval

Packages that use Operation.Eval

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

Uses of Operation.Eval in eu.simuline.relana.expressions

Classes in eu.simuline.relana.expressions that implement Operation.Eval

Modifier and Type	Class	Description
(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.Eval

Modifier and Type	Field	Description
private Operation.Eval	Formula.Comp.oper

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

Modifier and Type	Method	Description
Operation.Eval	Operation.CompOp.getEval(Type type)
abstract Operation.Eval	Operation.getEval(Type type)
Operation.Eval	Operation.IntsOp.getEval(Type type)
Operation.Eval	Operation.Maps.getEval(Type type)
Operation.Eval	Operation.UnionOp.getEval(Type type)

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

Modifier and Type	Method	Description
private static Formula.Comp	Formula.Comp.create(Operation.Eval oper, Set<Formula> args)
static Formula	Formula.getFormula(Operation.Eval oper, Set<Formula> args)

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

Constructor	Description
Comp(Operation.Eval oper, Set<Formula> args)