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.iserve.ipc The main classes that make up the "iserve" communication strategy. 
ix.iserve.ipc.sl   
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 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(PNodeEnd ne1, Constraint c1, PNodeEnd ne2, 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 ProcessModelManager.getConstraintManager(Constraint c)
           
 ConstraintManager AbstractPMM.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)
          Construct a constraint based on the spec and any bindings in the MatchEnv.
 Constraint LTF_Parser.WorldStateConstraintParser.makeConstraint(LList spec, MatchEnv env)
           
 Constraint LTF_Parser.ComputeParser.makeConstraint(LList spec, MatchEnv env)
           
 Constraint LTF_Parser.MultipleAnswerComputeParser.makeConstraint(LList spec, MatchEnv env)
           
 Constraint LTF_Parser.BeforeParser.makeConstraint(LList spec, MatchEnv env)
           
 Constraint LTF_Parser.DurationParser.makeConstraint(LList spec, MatchEnv env)
           
 Constraint LTF_Parser.WindowAtParser.makeConstraint(LList spec, MatchEnv env)
           
 Constraint LTF_Parser.ResourceConstraintParser.makeConstraint(LList spec, MatchEnv env)
           
 Constraint LTF_Parser.AdviceParser.makeConstraint(LList spec, MatchEnv env)
           
 Constraint LTF_Parser.OtherConstraintParser.makeConstraint(LList spec, MatchEnv env)
           
abstract  Constraint LTF_Parser.ConstraintParser.makeTemplate()
          Returns a constraint that represents the syntax of the constraints handled by this constraint-parser.
 Constraint LTF_Parser.WorldStateConstraintParser.makeTemplate()
           
 Constraint LTF_Parser.ComputeParser.makeTemplate()
           
 Constraint LTF_Parser.MultipleAnswerComputeParser.makeTemplate()
           
 Constraint LTF_Parser.BeforeParser.makeTemplate()
           
 Constraint LTF_Parser.DurationParser.makeTemplate()
           
 Constraint LTF_Parser.WindowAtParser.makeTemplate()
           
 Constraint LTF_Parser.ResourceConstraintParser.makeTemplate()
           
 Constraint LTF_Parser.AdviceParser.makeTemplate()
           
 Constraint LTF_Parser.OtherConstraintParser.makeTemplate()
           
 Constraint LTF_Parser.parseConstraint(java.lang.Object spec)
           
 

Methods in ix.iface.domain with parameters of type Constraint
(package private)  boolean LTF_Parser.WorldStateConstraintParser.annotateConditionType(Constraint c)
           
(package private)  Symbol LTF_Writer.getConstraintSubtype(Constraint c)
           
(package private)  void TF_Writer.outConstraint(Constraint c)
           
(package private)  void LTF_Writer.outConstraint(Constraint c)
           
 

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 Constraint
(package private)  Constraint PlanMaker.fixConstraintRange(PNode node, Constraint c)
           
 

Methods in ix.ip2 that return types with arguments of type Constraint
 java.util.List<Constraint> Ip2ModelManager.getNodeTimeConstraints(PNode node)
           
 java.util.List<Constraint> Ip2ModelManager.getOtherNodeConstraints(PNode node)
           
 

Methods in ix.ip2 with parameters of type Constraint
 void UseCM.addConstraint(Constraint c)
           
 void Scrum.addConstraint(Constraint c)
           
 void ConsumeTheOnlyCM.addConstraint(Constraint c)
           
 void ForAllCM.addConstraint(Constraint c)
           
 void UseCM.addConstraint(PNode node, Constraint c)
           
 void Scrum.addConstraint(PNode node, Constraint c)
           
 void Ip2WorldStateManager.addConstraint(PNode node, Constraint c)
           
 void Ip2ModelManager.addConstraint(PNode node, Constraint c)
           
 void ConsumeTheOnlyCM.addConstraint(PNode node, Constraint c)
           
 void ConstraintAssociator.addConstraint(PNode node, Constraint c)
           
 void ForAllCM.addConstraint(PNode node, Constraint c)
           
 void AdviceManager.addConstraint(PNode node, Constraint c)
           
 void Ip2ModelManager.deleteConstraint(Constraint c)
           
 void UseCM.evalAtBegin(PNodeEnd ne, Constraint c)
           
 void Scrum.evalAtBegin(PNodeEnd ne, Constraint c)
           
 void ConsumeTheOnlyCM.evalAtBegin(PNodeEnd ne, Constraint c)
           
 void ConstraintAssociator.evalAtBegin(PNodeEnd ne, Constraint c)
           
 void ForAllCM.evalAtBegin(PNodeEnd ne, Constraint c)
           
 void UseCM.evalAtEnd(PNodeEnd ne, Constraint c)
           
 void Scrum.evalAtEnd(PNodeEnd ne, Constraint c)
           
 void ConsumeTheOnlyCM.evalAtEnd(PNodeEnd ne, Constraint c)
           
 void ConstraintAssociator.evalAtEnd(PNodeEnd ne, Constraint c)
           
 void ForAllCM.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)
           
(package private)  Constraint PlanMaker.fixConstraintRange(PNode node, Constraint c)
           
 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 UseCM.mightInteract(PNodeEnd ne1, Constraint c1, PNodeEnd ne2, Constraint c2)
           
 boolean Scrum.mightInteract(PNodeEnd ne1, Constraint c1, PNodeEnd ne2, Constraint c2)
           
 boolean ConsumeTheOnlyCM.mightInteract(PNodeEnd ne1, Constraint c1, PNodeEnd ne2, Constraint c2)
           
 boolean ForAllCM.mightInteract(PNodeEnd ne1, Constraint c1, PNodeEnd ne2, 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 that return Constraint
(package private)  Constraint SlipFindExecutable.makeCondition(PatternAssignment pv)
           
 

Methods in ix.iplan with parameters of type Constraint
 void TimePointNet.addConstraint(Constraint c)
           
 void TimePointNet.addConstraint(PNode node, Constraint c)
           
(package private) static boolean Slip.canBeUsedForEffect(Constraint effect, Refinement r, Domain d)
           
protected  void PlanCheckingSimulator.checkComputeCondition(Constraint c)
           
protected  void PlanCheckingSimulator.checkConstraint(Constraint c, PNodeEnd at)
           
protected abstract  void PlanCheckingSimulator.ConstraintChecker.checkConstraint(Constraint c, PNodeEnd at)
           
protected  void PlanCheckingSimulator.UseChecker.checkConstraint(Constraint c, PNodeEnd at)
           
 void TimePointNet.evalAtBegin(PNodeEnd ne, Constraint c)
           
 void TimePointNet.evalAtEnd(PNodeEnd ne, Constraint c)
           
protected  void TimePointNet.evalBeforeConstraint(PNode node, Constraint c)
           
protected  void TimePointNet.evalConstraint(PNode node, Constraint c)
           
protected  void TimePointNet.evalDurationConstraint(PNode node, Constraint c)
           
protected  void TimePointNet.evalWindowAtConstraint(PNode node, Constraint c)
           
(package private)  boolean Slip.existsAchieversForCond(Constraint cond)
           
(package private)  java.util.List Slip.getAchieversForCond(Constraint cond)
          Returns a list of ways to achieve a condition by introducing a node.
static boolean Slip.hasCondType(Constraint c, Symbol type)
           
 boolean TimePointNet.mightInteract(PNodeEnd ne1, Constraint c1, PNodeEnd ne2, Constraint c2)
           
(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.iserve.ipc
 

Methods in ix.iserve.ipc that return Constraint
 Constraint LinearIXSyntax.decodeConstraint(java.lang.String s)
           
 

Uses of Constraint in ix.iserve.ipc.sl
 

Methods in ix.iserve.ipc.sl that return Constraint
(package private)  Constraint SLReplyDecoder.decodeConstraint(java.lang.String contents)
           
 

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

Methods in ix.test that return Constraint
protected  Constraint MakeRandomInstance.makeConstraint()
           
(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)