Uses of Class
ix.icore.domain.Constraint

Packages that use Constraint
ix.icore I-X core classes. 
ix.icore.domain Domain descriptions. 
ix.icore.info   
ix.icore.plan.build Utilities for constructing plans. 
ix.icore.process Classes for representing processes. 
ix.iface.domain Domain parsers and outputters. 
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.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.table   
ix.iview.util   
ix.test Simple applications for testing purposes. 
ix.test.xml Experiments with new classes that could be converted to and from XML. 
ix.util.match Pattern-matching utilities. 
ix.util.xml XML utilities. 
 

Uses of Constraint in ix.icore
 

Methods in ix.icore with parameters of type Constraint
 void Report.addConstraint(Constraint c)
           
 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.info
 

Methods in ix.icore.info with parameters of type Constraint
 void IType.addConstraint(Constraint constraint)
           
 

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)
           
 

Methods in ix.iface.domain with parameters of type Constraint
(package private)  void TF_Writer.outConstraint(Constraint c)
           
(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 AdviceManager.addConstraint(PNode node, Constraint c)
           
 void Ip2WorldStateManager.addConstraint(PNode node, Constraint c)
           
 void Ip2ModelManager.addConstraint(PNode node, Constraint c)
           
 void Ip2ModelManager.deleteConstraint(Constraint c)
           
protected  void VariableManager.FilterMatcher.evalComputeFilter(Constraint c, LList restConds, MatchEnv baseEnv)
           
protected  void VariableManager.FilterMatcher.filter(Constraint c, LList restConds, MatchEnv baseEnv)
           
 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)
           
 

Uses of Constraint in ix.iplan
 

Methods in ix.iplan that return Constraint
(package private)  Constraint SlipFindExecutable.makeCondition(PatternAssignment pv)
           
 

Methods in ix.iplan with parameters of type Constraint
 void TimePointNet.addConstraint(PNode node, Constraint c)
           
protected  void PlanCheckingSimulator.checkComputeCondition(Constraint c)
           
(package private)  boolean SlipAchieveConds.willBindVars(java.util.List evalNow, Constraint cond)
           
(package private)  boolean SlipFindExecutable.worldStateSatisfiesCond(Constraint cond)
           
 

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.itest
 

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

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
 void UIRefinement.addOrdering(Constraint newValue)
           
static boolean UIRefinement.constraintMentionsNode(Constraint c, Name nodeId)
           
 boolean UIRefinement.deleteConstraint(Constraint c)
          Removes the given constraint;
 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)
           
 

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(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 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.test
 

Methods in ix.test that return Constraint
(package private)  Constraint MatchStateHandler.makeConstraint(LList pattern)
           
(package private)  Constraint MatchStateHandler.makeConstraint(LList pattern, java.lang.Object value)
           
(package private)  Constraint CompendiumToIX.makeIXConstraint(org.jdom.Element elt)
           
(package private)  Constraint BlockStacker.worldEffect(LList pattern)
           
 

Methods in ix.test with parameters of type Constraint
(package private)  void CompendiumToIX.addConstraintToPlan(Constraint con)
          Adds a top-level constraint.
 

Uses of Constraint in ix.test.xml
 

Methods in ix.test.xml with parameters of type Constraint
(package private)  void WorldStateExport.send(IXAgent sender, Constraint effect)
           
 

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)
           
 

Uses of Constraint in ix.util.xml
 

Methods in ix.util.xml with parameters of type Constraint
(package private)  org.jdom.Element BNFSyntax.ConstraintTemplate.constraintTemplate(Constraint c)
           
 

Constructors in ix.util.xml with parameters of type Constraint
BNFSyntax.ConstraintTemplate(Constraint c)