|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use XKripke | |
---|---|
edu.toronto.cs.xkripke | Classes to represent, manipulate, and parse XML representation of XKripke structures. |
Uses of XKripke in edu.toronto.cs.xkripke |
---|
Methods in edu.toronto.cs.xkripke that return XKripke | |
---|---|
static XKripke |
XKripkeFactory.buildXKripke(org.w3c.dom.Document document)
|
static XKripke |
XKripkeFactory.buildXKripke(org.w3c.dom.Element graph)
|
XKripke |
XKripke.XKripkeState.getXKripke()
|
static XKripke |
XKripkeFactory.parse(java.lang.String uri)
Parses the file specified by uri and creates XKripke structure from it. |
static XKripke[] |
XKripkeFactory.parse(java.lang.String[] files)
Parses the files specified by the String [] and creates XKripke for each one of them. |
Methods in edu.toronto.cs.xkripke with parameters of type XKripke | |
---|---|
static MvSet |
XKripkeMvSetBuilder.buildMvSet(MvSetFactory mvSetFactory,
XKripke kripke)
mvSetFactory -- needed to create MvSets kripke -- the XKripke model to convert propOrder -- interface to order the atomic props |
void |
XKripke.XKripkeState.setXKripke(XKripke _xk)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |