ConForM.CoopnTools.CoKer.ConstraintsMgr
Class ConstraintsCondition

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

public class ConstraintsCondition
extends ConstraintsElement

This class implements the constraints condition of the axiom field of a constraints module

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

Constructor Summary
ConstraintsCondition(ConstraintsAtom fact)
           
ConstraintsCondition(ConstraintsAtom fact, java.util.List atoms)
          Simple constructor.
 
Method Summary
 void addAtom(ConstraintsAtom atom)
           
 ConstraintsAtom atom()
           
 ConstraintsAtom[] atomlist()
           
 java.lang.Object clone()
          Cloning method.
 boolean equals(java.lang.Object obj)
          Equality method.
 boolean hasAtom()
           
 boolean hasAtomList()
           
 int hashCode()
          Hashcode method.
 void removeAtom(ConstraintsAtom atom)
           
 void setAtom(ConstraintsAtom fact)
           
 void setAtomList(java.util.List atoms)
           
 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

ConstraintsCondition

public ConstraintsCondition(ConstraintsAtom fact,
                            java.util.List atoms)
Simple constructor.

ConstraintsCondition

public ConstraintsCondition(ConstraintsAtom fact)
Method Detail

setAtom

public void setAtom(ConstraintsAtom fact)

setAtomList

public void setAtomList(java.util.List atoms)

addAtom

public void addAtom(ConstraintsAtom atom)

removeAtom

public void removeAtom(ConstraintsAtom atom)

atom

public ConstraintsAtom atom()

atomlist

public ConstraintsAtom[] atomlist()

hasAtom

public boolean hasAtom()

hasAtomList

public boolean hasAtomList()

hashCode

public int hashCode()
Description copied from class: ConstraintsElement
Hashcode method. Must be defined in the inherited classes.
Overrides:
hashCode in class ConstraintsElement
Following copied from class: ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsElement
Returns:
the hash code.

unmodifiableCopy

public java.lang.Object unmodifiableCopy()
Description copied from class: ConstraintsElement
Copy the element into an unmodifiable structure.
Overrides:
unmodifiableCopy in class ConstraintsElement
Following copied from class: ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsElement
Returns:
an unmodififable clone of the element.

clone

public java.lang.Object clone()
Description copied from class: ConstraintsElement
Cloning method. Must be defined in the inherited classes.
Overrides:
clone in class ConstraintsElement
Following copied from class: ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsElement
Returns:
a clone object.

equals

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

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)
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 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.