Uses of Class
edu.toronto.cs.xkripke.XKripke.XKripkeProp

Packages that use XKripke.XKripkeProp
edu.toronto.cs.xkripke Classes to represent, manipulate, and parse XML representation of XKripke structures. 
 

Uses of XKripke.XKripkeProp in edu.toronto.cs.xkripke
 

Methods in edu.toronto.cs.xkripke that return XKripke.XKripkeProp
 XKripke.XKripkeProp XKripke.XKripkeState.getProp(java.lang.String name)
           
 

Methods in edu.toronto.cs.xkripke with parameters of type XKripke.XKripkeProp
 void XKripke.XKripkeState.addProp(XKripke.XKripkeProp prop)