Uses of Class
ix.icore.domain.Constraint

Packages that use Constraint
ix.icore I-X core classes. 
ix.icore.domain Domain descriptions. 
ix.icore.process Classes for representing processes. 
ix.iface.domain Domain parsers. 
ix.iface.util Interface utilities. 
ix.ip2 I-X Process Panels 
ix.itest I-TEST. 
ix.iview Viewers. 
ix.iview.domain Objects that mirror those of the domain (in ix.icore.domain package) for UI purposes. 
ix.iview.util   
 

Uses of Constraint in ix.icore
 

Methods in ix.icore with parameters of type Constraint
 void IXAgent.handleNewConstraint(Constraint constraint)
          Handles new constraints from external sources.
 

Uses of Constraint in ix.icore.domain
 

Methods in ix.icore.domain that return Constraint
 Constraint Constraint.instantiate(MatchEnv env, Function1 ifUnbound)
           
 

Uses of Constraint in ix.icore.process
 

Methods in ix.icore.process with parameters of type Constraint
protected abstract  void ProcessModelManager.addConstraint(PNode node, Constraint c)
           
abstract  void ProcessModelManager.addConstraint(Constraint constraint)
           
 

Uses of Constraint in ix.iface.domain
 

Methods in ix.iface.domain that return Constraint
 Constraint LTF_Parser.parseConstraint(java.lang.Object spec)
           
abstract  Constraint LTF_Parser.ConstraintParser.makeConstraint(LList spec, MatchEnv env)
           
 

Methods in ix.iface.domain with parameters of type Constraint
(package private)  void LTF_Writer.outConstraint(Constraint c)
           
 

Uses of Constraint in ix.iface.util
 

Methods in ix.iface.util with parameters of type Constraint
static java.lang.String Reporting.constraintDescription(Constraint constraint)
           
 

Uses of Constraint in ix.ip2
 

Methods in ix.ip2 with parameters of type Constraint
 void Ip2.handleNewConstraint(Constraint constraint)
          Handles new constraints from external sources.
 void Ip2ModelManager.addConstraint(Constraint c)
           
protected  void Ip2ModelManager.addConstraint(PNode node, Constraint c)
           
 

Uses of Constraint in ix.itest
 

Methods in ix.itest that return Constraint
protected  Constraint SendPanel.constraintFromControls()
          Construct a constraint from the current state of the GUI.
 

Uses of Constraint in ix.iview
 

Methods in ix.iview that return Constraint
protected  Constraint ConditionEffectEditor.readCondition(Symbol condEff, java.lang.String text)
           
protected  Constraint DefaultConstraintEditor.readCondition(Symbol type, Symbol rel, java.lang.String text)
           
 

Uses of Constraint in ix.iview.domain
 

Methods in ix.iview.domain with parameters of type Constraint
static boolean UIRefinement.constraintMentionsNode(Constraint c, Name nodeId)
           
 void UIRefinement.addOrdering(Constraint newValue)
           
 

Uses of Constraint in ix.iview.util
 

Methods in ix.iview.util with parameters of type Constraint
static java.lang.String IVUtil.printCondition(Constraint cond)
           
static java.lang.String IVUtil.printConstraint(Constraint constraint)
           
static java.lang.String IVUtil.printConstraintParameters(Constraint constraint)