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