ptolemy.domains.modal.kernel.test

Class AlternatingSimulation

java.lang.Object

ptolemy.domains.modal.kernel.test.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

Author:

Yuhong Xiong

Pt.AcceptedRating:

Red (reviewmoderator)

Pt.ProposedRating:

Red (yuhong)

Constructor Summary

Constructors

Constructor and 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

Modifier and Type	Method and 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.