|
|||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
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 |
|
|||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |