edu.toronto.cs.xkripke
Class XKripkeMvSetBuilder

java.lang.Object
  extended by edu.toronto.cs.xkripke.XKripkeMvSetBuilder

public class XKripkeMvSetBuilder
extends java.lang.Object


Constructor Summary
XKripkeMvSetBuilder()
           
 
Method Summary
static MvSet buildMvSet(MvSetFactory mvSetFactory, XKripke kripke)
          mvSetFactory -- needed to create MvSets kripke -- the XKripke model to convert propOrder -- interface to order the atomic props
static MvSet buildTransition(MvSetFactory mvSetFactory, IAlgebra algebra, XKripke.XKripkeTransition trans, VariableTable vt)
           
static void main(java.lang.String[] args)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

XKripkeMvSetBuilder

public XKripkeMvSetBuilder()
Method Detail

buildMvSet

public static MvSet buildMvSet(MvSetFactory mvSetFactory,
                               XKripke kripke)
mvSetFactory -- needed to create MvSets kripke -- the XKripke model to convert propOrder -- interface to order the atomic props


buildTransition

public static MvSet buildTransition(MvSetFactory mvSetFactory,
                                    IAlgebra algebra,
                                    XKripke.XKripkeTransition trans,
                                    VariableTable vt)

main

public static void main(java.lang.String[] args)
                 throws java.lang.Exception
Throws:
java.lang.Exception