ptolemy.domains.modal.kernel.test

Class Project

java.lang.Object

ptolemy.domains.modal.kernel.test.Project

public class Project
extends java.lang.Object

Compute the projection of an interface automaton to another one. This class reads the MoML description of two automata, computes the projection of the first one to the second, then writes the MoML description of the projection to stdout. The usage is:

 java ptolemy.domains.modal.kernel.test.Project first_automaton.xml second_automaton.xml
 

Since:

Ptolemy II 8.0

Author:

Yuhong Xiong

Pt.AcceptedRating:

Red (reviewmoderator)

Pt.ProposedRating:

Red (yuhong)

Constructor Summary

Constructors

Constructor and Description
Project(java.lang.String firstMoML, java.lang.String secondMoML) Compute the projection of the first automaton to the second one and write 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

Project

public Project(java.lang.String firstMoML,
               java.lang.String secondMoML)
        throws java.lang.Exception

Compute the projection of the first automaton to the second one and write the result to stdout.

Parameters:

firstMoML - The MoML file name for the first interface automaton.

secondMoML - The MoML file name for the second interface automaton.

Throws:

java.lang.Exception - If the specified automata cannot be constructed or are not consistent.

Method Detail

main

public static void main(java.lang.String[] args)

Pass the command line arguments to the constructor. The command line arguments are two MoML files for interface automaton.

Parameters:

args - The command line arguments.