|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |