Module: Pione::PNML

Defined in:

lib/pione/pnml.rb,
lib/pione/pnml/parser.rb,
lib/pione/pnml/reader.rb,
lib/pione/pnml/compiler.rb,
lib/pione/pnml/pnml-model.rb,
lib/pione/pnml/pione-model.rb,
lib/pione/pnml/io-expansion.rb,
lib/pione/pnml/net-rewriter.rb,
lib/pione/pnml/pnml-exception.rb,
lib/pione/pnml/input-reduction.rb,
lib/pione/pnml/label-extractor.rb,
lib/pione/pnml/output-reduction.rb,
lib/pione/pnml/annotation-extractor.rb,
lib/pione/pnml/ticket-instantiation.rb,
lib/pione/pnml/declaration-extractor.rb,
lib/pione/pnml/input-merge-complement.rb,
lib/pione/pnml/invalid-arc-elimination.rb,
lib/pione/pnml/isolated-element-elimination.rb,
lib/pione/pnml/output-decomposition-complement.rb,
lib/pione/pnml/input-parallelization-complement.rb,
lib/pione/pnml/output-synchronization-complement.rb

Overview

PNML is a namespace for the compiler from PNML to PIONE.

Defined Under Namespace

Modules: IOExpansion, InputMergeComplement, InputParallelizationComplement, InputReduction, InvalidArcElimination, IsolatedElementElimination, LabelExtractor, OutputDecompositionComplement, OutputReduction, OutputSynchronizationComplement, TicketInstantiation Classes: AmbiguousNetQueryResult, AnnotationExtractor, Arc, Compiler, CompilerError, ConditionalBranch, ConstituentRule, ConstituentRuleBuilder, Constraint, Data, DeclarationExtractor, ExtractedDeclarations, Feature, FlowRuleBuilder, InputData, Net, NetRewriter, Node, OutputData, Param, Parser, Perspective, PioneModel, Place, Reader, RuleDefinition, Ticket, Transition