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

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.