ConForM.CoopnTools.CoKer.ConstraintsMgr
Class ConstraintsFormula

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

public class ConstraintsFormula
extends ConstraintsElement

 This class implements the constraints formula of
 a constraints module

See Also:
ConForm.CoopnTools.CoKer.TemporalLogic.HMLFormula.java, Serialized Form

Constructor Summary
ConstraintsFormula(ConstraintsAssignation assign)
          Simple constructor.
ConstraintsFormula(ConstraintsCondition cond, ConstraintsAssignation assign)
          Simple constructor.
 
Method Summary
 ConstraintsAssignation assignation()
           
 java.lang.Object clone()
          Cloning method
 ConstraintsCondition condition()
           
 boolean equals(java.lang.Object obj)
          compares this interface with obj
 boolean hasAssignation()
           
 boolean hasCondition()
           
 int hashCode()
          Returns the hashcode for this interface
 void setAssignation(ConstraintsAssignation assign)
           
 void setCondition(ConstraintsCondition cond)
           
 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()
          Returns an unmodifiable copy of this interface
 
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

ConstraintsFormula

public ConstraintsFormula(ConstraintsCondition cond,
                          ConstraintsAssignation assign)
Simple constructor.

ConstraintsFormula

public ConstraintsFormula(ConstraintsAssignation assign)
Simple constructor.
Method Detail

setCondition

public void setCondition(ConstraintsCondition cond)

setAssignation

public void setAssignation(ConstraintsAssignation assign)

condition

public ConstraintsCondition condition()

assignation

public ConstraintsAssignation assignation()

hasCondition

public boolean hasCondition()

hasAssignation

public boolean hasAssignation()

equals

public boolean equals(java.lang.Object obj)
compares this interface with obj
Overrides:
equals in class ConstraintsElement
Parameters:
obj - the object to compare
Returns:
if true obj is equals to this interface

hashCode

public int hashCode()
Returns the hashcode for this interface
Overrides:
hashCode in class ConstraintsElement
Returns:
the hashcode for this interface

toCompleteString

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

toString

public java.lang.String toString(CoopnEnv env,
                                 int indent)
string conversion method
Overrides:
toString 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.

unmodifiableCopy

public java.lang.Object unmodifiableCopy()
Returns an unmodifiable copy of this interface
Overrides:
unmodifiableCopy in class ConstraintsElement
Returns:
the unmodifiable copy of this interface

clone

public java.lang.Object clone()
Cloning method
Overrides:
clone in class ConstraintsElement
Returns:
the cloned interface