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

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

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

Methods in edu.toronto.cs.xkripke that return XKripke.XKripkeTransition
 XKripke.XKripkeTransition XKripke.getTransition(XKripke.XKripkeState src, XKripke.XKripkeState dst)
           
 

Methods in edu.toronto.cs.xkripke with parameters of type XKripke.XKripkeTransition
 void XKripke.addTransition(XKripke.XKripkeTransition t)
           
static MvSet XKripkeMvSetBuilder.buildTransition(MvSetFactory mvSetFactory, IAlgebra algebra, XKripke.XKripkeTransition trans, VariableTable vt)