edu.toronto.cs.xkripke
Class XKripke

java.lang.Object
  extended by 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


Nested Class Summary
static class XKripke.XKripkeProp
           
static class XKripke.XKripkeState
           
static class XKripke.XKripkeTransition
           
static class XKripke.XKripkeVisitor
           
 
Constructor Summary
XKripke()
           
 
Method Summary
 void addState(XKripke.XKripkeState state)
           
 void addTransition(java.lang.String src, java.lang.String dst, java.lang.String value)
           
 void addTransition(XKripke.XKripkeTransition t)
           
 IAlgebra getAlgebra()
           
 XKripke.XKripkeState[] getInitialStates()
           
 int getNumVars()
           
 java.lang.String[] getPropNames()
           
 java.util.Set getPropNamesAsSet()
          A useful modification.
 XKripke.XKripkeState getState(java.lang.String name)
           
 java.util.Map getStates()
           
 VariableTable getSymbolTable()
           
 XKripke.XKripkeTransition getTransition(XKripke.XKripkeState src, XKripke.XKripkeState dst)
           
 java.util.Set getTransitions()
           
 void labeliseStates()
           
 void setAlgebra(IAlgebra v)
           
 void setStates(java.util.Map v)
           
 void setTransitions(java.util.Set v)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

XKripke

public XKripke()
Method Detail

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)