Uses of Class
ix.icore.domain.Constraint

Packages that use Constraint
ix.icore I-X core classes. 
ix.icore.domain Domain descriptions. 
ix.icore.plan.build Utilities for constructing plans. 
ix.icore.process Classes for representing processes. 
ix.iface.domain Domain parsers and outputters. 
ix.iface.ui I-X user interfaces. 
ix.iface.util Interface utilities. 
ix.ip2 I-X Process Panels 
ix.iplan The I-X planner. 
ix.iquery I-Q, an I-X Query agent. 
ix.isim.dynamic   
ix.iview Viewers. 
ix.iview.domain Objects that mirror those of the domain (in ix.icore.domain package) for UI purposes. 
ix.iview.table   
ix.iview.util   
ix.util.match Pattern-matching utilities. 
 

Uses of Constraint in ix.icore
 

Methods in ix.icore with parameters of type Constraint
 void Report.addConstraint(Constraint c)
           
 void ConstraintManager.addConstraint(Constraint c)
           
 void ConstraintManager.addConstraint(PNode node, Constraint c)
           
 void ConstraintManager.evalAtBegin(PNodeEnd begin, Constraint c)
           
 void ConstraintManager.evalAtEnd(PNodeEnd end, Constraint c)
           
 void IXAgent.handleNewConstraint(Constraint constraint)
          Handles new constraints from external sources.
 boolean ConstraintManager.mightInteract(Constraint c1, Constraint c2)
           
 

Constructors in ix.icore with parameters of type Constraint
GenericConstraint(Constraint constraint)
           
 

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.plan.build
 

Methods in ix.icore.plan.build with parameters of type Constraint
 void PlanBuilder.addConstraint(Constraint c)
          Adds a top-level constraint to the plan.
 void ExamplePlanBuilder.addConstraint(Constraint c)
           
 

Uses of Constraint in ix.icore.process
 

Methods in ix.icore.process with parameters of type Constraint
 void ProcessModelManager.addConstraint(PNode node, Constraint c)
           
 void ProcessModelManager.deleteConstraint(Constraint c)
           
 ConstraintManager AbstractPMM.getConstraintManager(Constraint c)
           
 ConstraintManager ProcessModelManager.getConstraintManager(Constraint c)
           
 

Uses of Constraint in ix.iface.domain
 

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

Uses of Constraint in ix.iface.ui
 

Methods in ix.iface.ui that return Constraint
 Constraint IFormPanel.FieldChooser.collectConstraint()
           
 

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 that return types with arguments of type Constraint
 java.util.List<Constraint> Ip2ModelManager.getOtherNodeConstraints(PNode node)
           
 

Methods in ix.ip2 with parameters of type Constraint
 void ForAllCM.addConstraint(Constraint c)
           
 void UseCM.addConstraint(Constraint c)
           
 void Scrum.addConstraint(Constraint c)
           
 void Ip2ModelManager.addConstraint(PNode node, Constraint c)
           
 void ForAllCM.addConstraint(PNode node, Constraint c)
           
 void UseCM.addConstraint(PNode node, Constraint c)
           
 void AdviceManager.addConstraint(PNode node, Constraint c)
           
 void Ip2WorldStateManager.addConstraint(PNode node, Constraint c)
           
 void ConstraintAssociator.addConstraint(PNode node, Constraint c)
           
 void Scrum.addConstraint(PNode node, Constraint c)
           
 void Ip2ModelManager.deleteConstraint(Constraint c)
           
 void ForAllCM.evalAtBegin(PNodeEnd ne, Constraint c)
           
 void UseCM.evalAtBegin(PNodeEnd ne, Constraint c)
           
 void ConstraintAssociator.evalAtBegin(PNodeEnd ne, Constraint c)
           
 void Scrum.evalAtBegin(PNodeEnd ne, Constraint c)
           
 void ForAllCM.evalAtEnd(PNodeEnd ne, Constraint c)
           
 void UseCM.evalAtEnd(PNodeEnd ne, Constraint c)
           
 void ConstraintAssociator.evalAtEnd(PNodeEnd ne, Constraint c)
           
 void Scrum.evalAtEnd(PNodeEnd ne, Constraint c)
           
protected  void VariableManager.FilterMatcher.evalComputeFilter(Constraint c, LList restConds, MatchEnv baseEnv)
           
protected  void Scrum.evalConstraint(PNode node, Constraint c)
           
protected  void VariableManager.FilterMatcher.filter(Constraint c, LList restConds, MatchEnv baseEnv)
           
 java.util.List<ConstraintManager> Ip2ModelManager.getConstraintManagers(Constraint c)
           
 java.util.List<ConstraintManager> ConstraintAssociator.getConstraintManagers(Constraint c)
           
 void Ip2.handleNewConstraint(Constraint constraint)
          Handles new constraints from external sources.
protected  void VariableManager.FilterMatcher.matchComputeResult(Constraint c, java.lang.Object value, LList restConds, MatchEnv baseEnv)
           
 boolean ForAllCM.mightInteract(Constraint c1, Constraint c2)
           
 boolean UseCM.mightInteract(Constraint c1, Constraint c2)
           
 boolean Scrum.mightInteract(Constraint c1, Constraint c2)
           
 

Method parameters in ix.ip2 with type arguments of type Constraint
 void Ip2ModelManager.evalAtBegin(PNodeEnd ne, java.util.List<Constraint> constraints)
           
 void Ip2ModelManager.evalAtEnd(PNodeEnd ne, java.util.List<Constraint> constraints)
           
 

Uses of Constraint in ix.iplan
 

Methods in ix.iplan with parameters of type Constraint
 void TimePointNet.addConstraint(Constraint c)
           
 void TimePointNet.addConstraint(PNode node, Constraint c)
           
protected  void PlanCheckingSimulator.checkComputeCondition(Constraint c)
           
 void TimePointNet.evalAtBegin(PNodeEnd ne, Constraint c)
           
 void TimePointNet.evalAtEnd(PNodeEnd ne, Constraint c)
           
 boolean TimePointNet.mightInteract(Constraint c1, Constraint c2)
           
 

Uses of Constraint in ix.iquery
 

Methods in ix.iquery that return Constraint
protected  Constraint LookupHandler.makeStateConstraint(LList pattern)
           
protected  Constraint LookupHandler.makeStateConstraint(LList pattern, java.lang.Object value)
           
protected  Constraint LookupHandler.makeStateConstraint(java.lang.String pattern)
           
protected  Constraint LookupHandler.makeStateConstraint(java.lang.String pattern, java.lang.Object value)
           
 

Uses of Constraint in ix.isim.dynamic
 

Methods in ix.isim.dynamic that return Constraint
static Constraint ObjectAnimator.makeConstraint(java.lang.String att, java.lang.String sName, double val)
           
 

Uses of Constraint in ix.iview
 

Fields in ix.iview declared as Constraint
protected  Constraint ObjectConstraintEditor.typeConstraint
           
 

Methods in ix.iview that return Constraint
protected  Constraint DeclarationEditor.getVarTypeConstraint(ItemVar var)
          Looks up the var type for the given variable in the varTypeMap and makes a constraint that sets it.
protected  Constraint ObjectConstraintEditor.makeConstraint(ItemVar var, UIObjectClass oClass, java.lang.String typeProperty)
          Make a type constraint for the variable
protected  Constraint DeclarationEditor.makeTypeConstraint(ItemVar var)
          Makes a type constraint for the given variable from the current settings.
protected  Constraint ConditionEffectEditor.readCondition(java.lang.String text)
           
protected  Constraint ConditionEffectEditor.readCondition(Symbol condEff, java.lang.String text)
           
 

Methods in ix.iview with parameters of type Constraint
protected  void ObjectConstraintEditor.deleteConstraint(ObjectProperty prop, Constraint c)
           
protected  void DeclarationEditor.noteVarTypeConstraint(ItemVar var, Constraint c)
          Notes the var type for the given variable in the varTypeConstraints map
protected  boolean DeclarationEditor.removeConstraint(Constraint c)
          Remove the constraint;
protected  boolean DeclarationEditor.removeConstraint(ItemVar var, Constraint c)
          Remove the constraint;
protected  boolean DeclarationEditor.removeConstraint(ItemVar var, UIObjectClass type, Constraint c)
          Remove the constraint;
protected  boolean DeclarationEditor.removeConstraint(ItemVar var, UIObjectClass type, ObjectProperty prop, Constraint c)
          Remove the constraint;
 

Uses of Constraint in ix.iview.domain
 

Methods in ix.iview.domain that return Constraint
 Constraint UIRefinement.getTypeConstraint(ItemVar var)
           
 

Methods in ix.iview.domain with parameters of type Constraint
 GenericConstraint UIGrammar.addGenericConstraint(Constraint c)
           
 void UIRefinement.addOrdering(Constraint newValue)
           
static boolean UIRefinement.constraintMentionsNode(Constraint c, Name nodeId)
           
 boolean UIRefinement.deleteConstraint(Constraint c)
          Removes the given constraint;
 GenericConstraint UIGrammar.findGenericConstraint(Constraint c)
           
 void UIRefinement.setTypeConstraint(ItemVar var, Constraint constraint)
           
 

Uses of Constraint in ix.iview.table
 

Methods in ix.iview.table with parameters of type Constraint
static java.util.HashMap PropertyTableModel.noteProperty(java.util.HashMap propMap, UIObjectClass oClass, ObjectProperty prop, Constraint c)
          Note the given constraint in the given propMap under the given property.
 

Uses of Constraint in ix.iview.util
 

Methods in ix.iview.util that return Constraint
static Constraint IVUtil.findClassConstraint(ItemVar var, java.util.List constraints)
          Looks through constraints and finds the most likely for class info.
static Constraint IVUtil.readCondition(Symbol type, Symbol rel, java.lang.String text)
           
static Constraint IVUtil.setConstraintValue(Constraint constr, java.lang.Object val)
           
static Constraint IVUtil.setConstraintValue(UIObjectClass oClass, Constraint constr, java.lang.Object val)
           
 

Methods in ix.iview.util with parameters of type Constraint
static java.lang.Object IVUtil.extractType(Constraint tConstraint)
           
static java.lang.Object IVUtil.extractType(Constraint tConstraint, UIDomain domain)
           
static java.lang.Object IVUtil.getConstraintValue(Constraint constr)
           
static boolean IVUtil.isClassConstraint(Constraint c)
          Looks through constraints and finds the most likely for class info.
static boolean IVUtil.isClassConstraint(ItemVar var, Constraint c)
          Looks through constraints and finds the most likely for class info.
static boolean IVUtil.isEmptyConstraint(Constraint 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)
           
static java.lang.String IVUtil.propertyFromConstraint(Constraint c)
          Looks at the pattern of the given constraint and returns the string that is the first element of that pattern, i.e. the place where a property would be.
static ObjectProperty IVUtil.propertyFromConstraint(UIObjectClass oClass, Constraint c)
          Looks at the pattern of the given constraint and returns the string that is the first element of that pattern, i.e. the place where a property would be.
static java.util.Set IVUtil.removeConstraint(java.util.Set cSet, Constraint c)
           
static boolean IVUtil.sameConstraint(Constraint one, Constraint other)
          Determines whether the two constraints are the same.
static boolean IVUtil.sameObjectConstraint(Constraint c, Constraint otherC)
          Determines whether the two constraints are on the same thing.
static Constraint IVUtil.setConstraintValue(Constraint constr, java.lang.Object val)
           
static Constraint IVUtil.setConstraintValue(UIObjectClass oClass, Constraint constr, java.lang.Object val)
           
static ItemVar IVUtil.variableFromConstraint(Constraint c)
          Looks for an ObjectProperty in the given pattern that is defined for the given UIObjectClass.
 

Uses of Constraint in ix.util.match
 

Methods in ix.util.match that return Constraint
 Constraint MatchChoice.toConstraint()
           
 

Constructors in ix.util.match with parameters of type Constraint
MatchChoice(Constraint c)