ConForM.CoopnTools.CoKer.ConstraintsMgr
Class ConstraintsNbOcc

java.lang.Object
  |
  +--ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsElement
        |
        +--ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsExpression
              |
              +--ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsTerm
                    |
                    +--ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsFactor
                          |
                          +--ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsNbOcc
All Implemented Interfaces:
java.lang.Cloneable, CoopnSyntacticElement, java.io.Serializable

public class ConstraintsNbOcc
extends ConstraintsFactor

 This class implements a natural term of 
 a constraints expression of a constraints module
 
 

See Also:
Serialized Form

Constructor Summary
ConstraintsNbOcc(ConstraintsExpression form, java.lang.String method)
          Simple constructor.
 
Method Summary
 java.lang.Object clone()
          Cloning method.
 boolean equals(java.lang.Object obj)
          Equality method.
 ConstraintsExpression formula()
           
 int hashCode()
          Hashcode method.
 java.lang.String method()
           
 java.lang.String toCompleteString(CoopnEnv env, int indent)
          Complete string conversion method.
 java.lang.String toString(CoopnEnv env, int indent)
          String conversion method.
 java.lang.Object unmodifiableCopy()
          Copy the element into an unmodifiable structure.
 
Methods inherited from class ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsElement
cloneConstraintsElement, toCompleteString, toCompleteString, toString, toString
 
Methods inherited from class java.lang.Object
finalize, getClass, notify, notifyAll, wait, wait, wait
 

Constructor Detail

ConstraintsNbOcc

public ConstraintsNbOcc(ConstraintsExpression form,
                        java.lang.String method)
Simple constructor. Unary Temporal Logic Operation With this constructor the operation type is by default : 2 (nbOcc)
Parameters:
form - the formula of this unary Temporal Logic Operation
method - method of this unary Temporal Logic Operation
Method Detail

formula

public ConstraintsExpression formula()

method

public java.lang.String method()

toString

public java.lang.String toString(CoopnEnv env,
                                 int indent)
Description copied from class: ConstraintsElement
String conversion method. This routine converts an element into a string representing it, by transforming it using toText.
Overrides:
toString in class ConstraintsExpression
Following copied from class: ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsElement
Parameters:
env - the environment deciding the form of the display
indent - the identation factor
Returns:
a String image of the element.

toCompleteString

public java.lang.String toCompleteString(CoopnEnv env,
                                         int indent)
Description copied from class: ConstraintsElement
Complete string conversion method. This routine converts an element into a string representing it, by transforming it using toText.
Overrides:
toCompleteString in class ConstraintsElement
Following copied from class: ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsElement
Parameters:
env - the environment deciding the form of the display
indent - the identation factor
Returns:
a String image of the element.

equals

public boolean equals(java.lang.Object obj)
Equality method. Must be defined in the inherited classes.
Overrides:
equals in class ConstraintsElement
Parameters:
obj - the object to compare
Returns:
true iff this object and the parameter are equals.

hashCode

public int hashCode()
Hashcode method. Must be defined in the inherited classes.
Overrides:
hashCode in class ConstraintsElement
Returns:
the hash code.

unmodifiableCopy

public java.lang.Object unmodifiableCopy()
Copy the element into an unmodifiable structure.
Overrides:
unmodifiableCopy in class ConstraintsElement
Returns:
an unmodififable clone of the element.

clone

public java.lang.Object clone()
Cloning method. Must be defined in the inherited classes.
Overrides:
clone in class ConstraintsElement
Returns:
a clone object.