Class AlternatingSimulation


  • public class AlternatingSimulation
    extends java.lang.Object
    Compute the alternating simulation of two interface automata. This class reads the MoML description of a super automaton and a sub automaton, computes the unique maximal alternating simulation relation from the sub automaton to the super one, then lists all the state pairs in the relation to stdout. The usage is:
     java ptolemy.domains.modal.kernel.test.AlternatingSimulation [-reacheable] super_automaton.xml sub_automaton.xml
     
    -reacheable indicates to only list the reacheable alternating simulation state pairs. This flag is optional.
    Since:
    Ptolemy II 8.0
    Version:
    $Id$
    Author:
    Yuhong Xiong
    Pt.AcceptedRating:
    Red (reviewmoderator)
    Pt.ProposedRating:
    Red (yuhong)
    • Constructor Summary

      Constructors 
      Constructor Description
      AlternatingSimulation​(java.lang.String superMoML, java.lang.String subMoML, boolean onlyReacheable)
      Compute the alternating simulation from the sub automaton to the super one and list the result to stdout.
    • Method Summary

      All Methods Static Methods Concrete Methods 
      Modifier and Type Method Description
      static void main​(java.lang.String[] args)
      Pass the command line arguments to the constructor.
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Constructor Detail

      • AlternatingSimulation

        public AlternatingSimulation​(java.lang.String superMoML,
                                     java.lang.String subMoML,
                                     boolean onlyReacheable)
                              throws java.lang.Exception
        Compute the alternating simulation from the sub automaton to the super one and list the result to stdout.
        Parameters:
        superMoML - The MoML file name for the super interface automaton.
        subMoML - The MoML file name for the sub interface automaton.
        onlyReacheable - True to indicate only print the reacheable state pairs.
        Throws:
        java.lang.Exception - If the specified automata cannot be constructed.
    • Method Detail

      • main

        public static void main​(java.lang.String[] args)
        Pass the command line arguments to the constructor. The command line arguments are an optional flag and two MoML files for interface automaton.
        Parameters:
        args - The command line arguments.