edu.toronto.cs.xkripke
Class XKripke
java.lang.Object
edu.toronto.cs.xkripke.XKripke
public class XKripke
- extends java.lang.Object
A XKripke structure
A XKripke structure consists of a set of states, and a set of transitions
Each state has:
-- name
-- indicator if it is an initial state
-- a set of propositions
Each transition has:
-- a src state
-- a dst state
-- a transition value
Each proposition has
-- name
-- value
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
XKripke
public XKripke()
getAlgebra
public IAlgebra getAlgebra()
setAlgebra
public void setAlgebra(IAlgebra v)
getSymbolTable
public VariableTable getSymbolTable()
getPropNames
public java.lang.String[] getPropNames()
getPropNamesAsSet
public java.util.Set getPropNamesAsSet()
- A useful modification. (Victor)
getNumVars
public int getNumVars()
getInitialStates
public XKripke.XKripkeState[] getInitialStates()
labeliseStates
public void labeliseStates()
getStates
public java.util.Map getStates()
setStates
public void setStates(java.util.Map v)
getState
public XKripke.XKripkeState getState(java.lang.String name)
getTransition
public XKripke.XKripkeTransition getTransition(XKripke.XKripkeState src,
XKripke.XKripkeState dst)
getTransitions
public java.util.Set getTransitions()
setTransitions
public void setTransitions(java.util.Set v)
addTransition
public void addTransition(java.lang.String src,
java.lang.String dst,
java.lang.String value)
addTransition
public void addTransition(XKripke.XKripkeTransition t)
addState
public void addState(XKripke.XKripkeState state)