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
- Version:
- $Id$
- Author:
- Yuhong Xiong
- Pt.AcceptedRating:
- Red (reviewmoderator)
- Pt.ProposedRating:
- Red (yuhong)
-
-
Constructor Summary
Constructors Constructor 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
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.
-
-
-
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.
-
-