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. 
 

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)
           
 

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.