Package eu.simuline.relana.expressions

Classes to describe expressions. Expressions come as Formulae and as their declarations FormulaDecls. Formulae are either atomic, i.e. constants or variables or they are defined in terms of Operations. Formulae are typed: variables, constants and operations both their parameter and their return value. Types are represented by Types. x ***** NOT YET COMPLETE.

Interface Summary

Interface	Description
Operation.Eval

Class Summary

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.
Formula.Var	Represents a variable interpreted as atomic formula.
FormulaDecl	Represents a formula declaration which is either a constant, a variable or composed via an operator.
FormulaDecl.Comp	Represents composite formulae consisting of a operation FormulaDecl.Comp.oper and a set of arguments FormulaDecl.Comp.args.
FormulaDecl.Const	Represents atomic formulae consisting of a constant only.
FormulaDecl.Var	Represents atomic formulae consisting of a variable only.
Operation	Represents the operations as intersection, union, complement, covariant and contravariant functors and maps.
Operation.CompOp	Defines the basic set theoretic complement.
Operation.IntsOp	Defines the basic set theoretic intersection.
Operation.Maps	Represents an operation defined by a covariant/contravariant functor
Operation.UnionOp	Defines the basic set theoretic union complement.
Type	A type maps declared Deficiencys to their nodes and defines minimum and maximum Deficiencys.

Enum Summary

Enum	Description
Operation.BaseOps	Comprises the basic set theoretic operations union, intersection and complement.
Operation.Functor	Enumerates the kinds of functors covariant and contravariant ones