connect(PrintStream out) (defined in org::uppaal::port::ui::engine::ModelTransformation) | org::uppaal::port::ui::engine::ModelTransformation | [inline] |
transform(IFile file) (defined in org::uppaal::port::ui::engine::ModelTransformation) | org::uppaal::port::ui::engine::ModelTransformation | [inline, package] |