ConForM.CoopnTools.CoKer.ConstraintsMgr
Class ConstraintsAxiomField

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

public class ConstraintsAxiomField
extends ConstraintsField

This class implements the axiom field of a constraints module

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

Fields inherited from class ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsField
symbols
 
Constructor Summary
ConstraintsAxiomField()
          Simple constructor.
 
Method Summary
 void add(ConstraintsAxiomSymbol symbol)
           
 void add(java.util.List symbols)
           
 ConstraintsAxiomSymbol[] elements()
          Get the symbols of this field.
 boolean equals(java.lang.Object obj)
          Equality method.
 int hashCode()
          Hashcode method.
 java.lang.String kind()
          Kind retrieving method.
 void merge(ConstraintsAxiomField field)
           
 void remove(ConstraintsAxiomSymbol symbol)
           
 
Methods inherited from class ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsField
add, clone, remove, size, symbols, toCompleteString, toString, unmodifiableCopy
 
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
 
Methods inherited from interface ConForM.CoopnTools.CoKer.CoopnSyntacticElement
toCompleteString, toCompleteString, toString, toString
 

Constructor Detail

ConstraintsAxiomField

public ConstraintsAxiomField()
Simple constructor.
Method Detail

add

public void add(ConstraintsAxiomSymbol symbol)

add

public void add(java.util.List symbols)

remove

public void remove(ConstraintsAxiomSymbol symbol)

merge

public void merge(ConstraintsAxiomField field)

elements

public ConstraintsAxiomSymbol[] elements()
Get the symbols of this field.
Returns:
The symbols defined by this field.

kind

public final java.lang.String kind()
Kind retrieving method. This method must be defined in the inherited classes for returning a string allowing the user to know what kind of symbol this is.
Returns:
a string defining the symbol kind.

equals

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

hashCode

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