Package ConForM.CoopnTools.CoKer.ConstraintsMgr

Interface Summary
BooleanType Constraints Manager.
ConstraintsModuleObserver Constraints module observer.
HmlType Constraints Manager.
NaturalType Constraints Manager.
 

Class Summary
Constraint Semantic representation of a ConstraintModule.
ConstraintAddExpr Constraints Manager.
ConstraintAtom Constraints Manager.
ConstraintBoolCte Constraints Manager.
ConstraintBoolFunc Constraints Manager.
ConstraintBoolVar Constraints Manager.
ConstraintConcatExpr Constraints Manager.
ConstraintCond Semantic representation of a ConstraintModule.
ConstraintConsVar Constraints Manager.
ConstraintEqual Constraints Manager.
ConstraintExpr Constraints Manager.
ConstraintGreater Constraints Manager.
ConstraintGreaterEqual Constraints Manager.
ConstraintHmlForm Constraints Manager.
ConstraintHmlVar Constraints Manager.
ConstraintLess Constraints Manager.
ConstraintLessEqual Constraints Manager.
ConstraintMultTerm Constraints Manager.
ConstraintNatCte Constraints Manager.
ConstraintNatFunc Constraints Manager.
ConstraintNatVar Constraints Manager.
ConstraintNotEqual Constraints Manager.
ConstraintsAdditionExpression This class implements an addition of terms
ConstraintsAssignation This class implements the assignation of a constraints formula of a constraints module
ConstraintsAssignationTextField CoopnTextExpression field.
ConstraintsAtom This class implements the "atoms" of a constraints condition of a constraints module
ConstraintsAxiomField This class implements the axiom field of a constraints module
ConstraintsAxiomSymbol Constraints formula.
ConstraintsBody This class implements the body section of a constraints module.
ConstraintsBoolean This class implements an integer
ConstraintsCommentTextField Comment field.
ConstraintsConcatExpression This class implements an concatenation of terms
ConstraintsCondition This class implements the constraints condition of the axiom field of a constraints module
ConstraintsConditionTextField CoopnTextExpression field.
ConstraintsConsField This class implements the constraints field of a constraints module.
ConstraintsConsSymbol Constraints elements.Constraints Symbol
ConstraintsDataFlavor constraints data flavor.
ConstraintsDepth This class implements a natural term of a constraints expression of a constraints module
ConstraintsElement Constraints elements.
ConstraintsElementList Constraints elements List.
ConstraintSet Semantic representation of a ConstraintModule.
ConstraintsExpression This class implements the constraints expression of the axiom field of a constraints module
ConstraintsFactor This class implements the constraints factor of the axiom field of a constraints module
ConstraintsField Constraints fields.
ConstraintsFormula This class implements the constraints formula of a constraints module
ConstraintsInteger This class implements an integer
ConstraintsInterface This class implements the interface section of a constraints module.
ConstraintsLogicalEqual This class implements a natural operation of the constraints factor of a constraints expression of a constraints module
ConstraintsLogicalGreater This class implements a natural operation of the constraints factor of a constraints expression of a constraints module
ConstraintsLogicalGreaterOrEqual This class implements a natural operation of the constraints factor of a constraints expression of a constraints module
ConstraintsLogicalLess This class implements a natural operation of the constraints factor of a constraints expression of a constraints module
ConstraintsLogicalLessOrEqual This class implements a natural operation of the constraints factor of a constraints expression of a constraints module
ConstraintsLogicalNotEqual This class implements a natural operation of the constraints factor of a constraints expression of a constraints module
ConstraintsLogicalOperation This class implements a logical operation between two expressions
ConstraintsMgr Constraints Manager.
ConstraintsModule Constraints module.
ConstraintsModuleNameListTextField CoopnTextModuleNameList field.
ConstraintsModuleNameTextField CoopnTextModuleName field.
ConstraintsMultTerm This class implements an multiplication of factors
ConstraintsNameTextField CoopnTextModuleName field.
ConstraintsNbEvent This class implements a natural term of a constraints expression of a constraints module
ConstraintsNbOcc This class implements a natural term of a constraints expression of a constraints module
ConstraintsOnlyConstructor This class implements a natural term of a constraints expression of a constraints module
ConstraintsOnlyMutator This class implements a natural term of a constraints expression of a constraints module
ConstraintsOnlyObserver This class implements a natural term of a constraints expression of a constraints module
ConstraintsParCondition This class implements a parenthesized condition
ConstraintsParExpr This class implements a parenthesized expression
ConstraintSpecVar Constraints Manager.
ConstraintsPositive This class implements a natural term of a constraints expression of a constraints module
ConstraintsSelection Selection of constraints textual elements.
ConstraintsSequence This class implements a natural term of a constraints expression of a constraints module
ConstraintsShape This class implements a natural term of a constraints expression of a constraints module
ConstraintsStringSelection A class which implements the capability required to transfer a simple java String in plain text format.
ConstraintsSubUniformity This class implements a natural term of a constraints expression of a constraints module
ConstraintsSymbol Constraints elements.
ConstraintsSyntacticSelection Selection of coopn syntactic elements.
ConstraintsTerm This class implements the constraints terms of the axiom field of a constraints module
ConstraintsTLFormula This class implements a natural term of a constraints expression of a constraints module
ConstraintsTrace This class implements a natural term of a constraints expression of a constraints module
ConstraintsTypeTextField CoopnTextModuleName field.
ConstraintSubUnif Constraints Manager.
ConstraintsUniformity This class implements a natural term of a constraints expression of a constraints module
ConstraintsVariable This class implements a variable
ConstraintsVariableField This class implements the where field of a constraints module
ConstraintsVariableSymbol Constraints elements.
ConstraintType Semantic representation of a ConstraintModule.
ConstraintTypeBoolean Semantic representation of a ConstraintModule.
ConstraintTypeHml Semantic representation of a ConstraintModule.
ConstraintTypeNatural Semantic representation of a ConstraintModule.
ConstraintUnif Constraints Manager.
LexicalConsFileReader Lexical reader for constraints files
LexicalConsFileToken Lexical tokens for constraints files.
LogOpExpressionTextField LogOpExpressionTextField field.
SyntacticConsModuleReader Syntactic reader for cons source files