Uses of Class
ix.icore.domain.PatternAssignment

Packages that use PatternAssignment
ix.icore.domain Domain descriptions. 
ix.iface.domain Domain parsers. 
ix.ip2 I-X Process Panels 
ix.itest I-TEST. 
 

Uses of PatternAssignment in ix.icore.domain
 

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

Uses of PatternAssignment in ix.iface.domain
 

Methods in ix.iface.domain with parameters of type PatternAssignment
(package private)  void LTF_Writer.outPV(PatternAssignment pv)
           
 

Uses of PatternAssignment in ix.ip2
 

Methods in ix.ip2 with parameters of type PatternAssignment
protected  MatchEnv Ip2ModelManager.filter(PatternAssignment pv, LList conds, MatchEnv baseEnv)
           
protected  MatchEnv Ip2ModelManager.matchFilter(PatternAssignment pv, java.util.Map.Entry entry, MatchEnv baseEnv)
           
 

Uses of PatternAssignment in ix.itest
 

Methods in ix.itest with parameters of type PatternAssignment
 void SendPanel.initConstraint(PatternAssignment pv)
           
 void SendPanel.initConstraintForMe(PatternAssignment pv)