ConForM.CoopnTools.CoKer.ConstraintsMgr
Class ConstraintsTerm

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

public abstract class ConstraintsTerm
extends ConstraintsExpression

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

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

Constructor Summary
ConstraintsTerm()
           
 
Methods inherited from class ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsExpression
toString
 
Methods inherited from class ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsElement
clone, cloneConstraintsElement, equals, hashCode, toCompleteString, toCompleteString, toCompleteString, toString, toString, unmodifiableCopy
 
Methods inherited from class java.lang.Object
finalize, getClass, notify, notifyAll, wait, wait, wait
 

Constructor Detail

ConstraintsTerm

public ConstraintsTerm()