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

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)