Uses of Package eu.simuline.relana.expressions (Relana 1.0 Test API)

Packages that use eu.simuline.relana.expressions
Package	Description
eu.simuline.relana.expressions	Classes to describe expressions.
eu.simuline.relana.model	Description for object oriented models in terms of java classes.
eu.simuline.relana.parser	Classes to parse all file types except xml: `CClassParser` parse `.ccl` files representing Component Classes, `SClassParser` parse `.scl` files representing Service Classes and finally `FormulaParser` parse formulae.

Classes in eu.simuline.relana.expressions used by eu.simuline.relana.expressions
Class	Description
Formula	Represents a formula which is either a constant, a variable or composed via an operator.
Formula.Comp	Represents a compound formula, i.e. one defined via an operation.
Formula.Const	Represents a constant interpreted as atomic formula.
FormulaDecl	Represents a formula declaration which is either a constant, a variable or composed via an operator.
Operation	Represents the operations as intersection, union, complement, covariant and contravariant functors and maps.
Operation.BaseOps	Comprises the basic set theoretic operations union, intersection and complement.
Operation.Eval
Operation.Functor	Enumerates the kinds of functors covariant and contravariant ones
Operation.Maps	Represents an operation defined by a covariant/contravariant functor
Type	A type maps declared `Deficiency`s to their nodes and defines minimum and maximum `Deficiency`s.

Classes in eu.simuline.relana.expressions used by eu.simuline.relana.model
Class	Description
Formula	Represents a formula which is either a constant, a variable or composed via an operator.
FormulaDecl	Represents a formula declaration which is either a constant, a variable or composed via an operator.
Type	A type maps declared `Deficiency`s to their nodes and defines minimum and maximum `Deficiency`s.

Classes in eu.simuline.relana.expressions used by eu.simuline.relana.parser
Class	Description
FormulaDecl	Represents a formula declaration which is either a constant, a variable or composed via an operator.