ConForM.CoopnTools.CoKer.ConstraintsMgr
Class ConstraintsFactor

java.lang.Object
  |
  +--ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsElement
        |
        +--ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsExpression
              |
              +--ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsTerm
                    |
                    +--ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsFactor
All Implemented Interfaces:
java.lang.Cloneable, CoopnSyntacticElement, java.io.Serializable
Direct Known Subclasses:
ConstraintsBoolean, ConstraintsDepth, ConstraintsInteger, ConstraintsNbEvent, ConstraintsNbOcc, ConstraintsOnlyConstructor, ConstraintsOnlyMutator, ConstraintsOnlyObserver, ConstraintsParExpr, ConstraintsPositive, ConstraintsSequence, ConstraintsShape, ConstraintsTLFormula, ConstraintsTrace, ConstraintsVariable

public abstract class ConstraintsFactor
extends ConstraintsTerm

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

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

Constructor Summary
ConstraintsFactor()
           
 
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

ConstraintsFactor

public ConstraintsFactor()