- MalformedBinaryWordException - Exception in fr.inria.aoste.kpassa.exception
-
- MalformedBinaryWordException(String) - Constructor for exception fr.inria.aoste.kpassa.exception.MalformedBinaryWordException
-
- MarkedGraph<T> - Interface in fr.inria.aoste.kpassa.graph.markedgraph
-
- MarkedGraphImpl<T> - Class in fr.inria.aoste.kpassa.graph.impl
-
- MarkedGraphListener - Interface in fr.inria.aoste.kpassa.graph.markedgraph
-
to listen a MG
- markedGraphReset() - Method in interface fr.inria.aoste.kpassa.core.KPassaListener
-
This method is called when the graph has been reset (replaced by an empty graph or another graph loaded from the disk).
- MarkedGraphVisitor - Interface in fr.inria.aoste.kpassa.graph.visitors
-
- markingChanged(AsynchMGArc, int, int) - Method in interface fr.inria.aoste.kpassa.graph.asynchmarkedgraph.AsynchMGArcListener
-
- markingChanged(AsynchMGArc, int, int) - Method in class fr.inria.aoste.kpassa.graph.impl.AsynchMGImpl
-
- markingChanged(Arc, BinaryWord, BinaryWord) - Method in class fr.inria.aoste.kpassa.graph.impl.SynchronousMarkedGraphImpl
-
- markingChanged(Arc, BinaryWord, BinaryWord) - Method in interface fr.inria.aoste.kpassa.graph.synchronousmarkedgraph.SMGArcListener
-
- max(short, short) - Static method in class fr.inria.aoste.kpassa.util.Rational
-
- menu_about - Static variable in class fr.inria.aoste.kpassa.util.KPassaLabel
-
- menu_arcs_contain_token - Static variable in class fr.inria.aoste.kpassa.util.KPassaLabel
-
- menu_auto_restart_arc - Static variable in class fr.inria.aoste.kpassa.util.KPassaLabel
-
- menu_complete_run - Static variable in class fr.inria.aoste.kpassa.util.KPassaLabel
-
- menu_computePeriodicity - Static variable in class fr.inria.aoste.kpassa.util.KPassaLabel
-
- menu_computeSSC - Static variable in class fr.inria.aoste.kpassa.util.KPassaLabel
-
- menu_edit - Static variable in class fr.inria.aoste.kpassa.util.KPassaLabel
-
- menu_equalize - Static variable in class fr.inria.aoste.kpassa.util.KPassaLabel
-
- menu_exit - Static variable in class fr.inria.aoste.kpassa.util.KPassaLabel
-
- menu_exportToLucy_n - Static variable in class fr.inria.aoste.kpassa.util.KPassaLabel
-
- menu_extra - Static variable in class fr.inria.aoste.kpassa.util.KPassaLabel
-
- menu_file - Static variable in class fr.inria.aoste.kpassa.util.KPassaLabel
-
- menu_find_balanced_scheduling - Static variable in class fr.inria.aoste.kpassa.util.KPassaLabel
-
- menu_help - Static variable in class fr.inria.aoste.kpassa.util.KPassaLabel
-
- menu_impl - Static variable in class fr.inria.aoste.kpassa.util.KPassaLabel
-
- menu_implC - Static variable in class fr.inria.aoste.kpassa.util.KPassaLabel
-
- menu_implLoadC - Static variable in class fr.inria.aoste.kpassa.util.KPassaLabel
-
- menu_implLoadVHDL - Static variable in class fr.inria.aoste.kpassa.util.KPassaLabel
-
- menu_implVHDL - Static variable in class fr.inria.aoste.kpassa.util.KPassaLabel
-
- menu_is_steady_state - Static variable in class fr.inria.aoste.kpassa.util.KPassaLabel
-
- menu_list_cycles - Static variable in class fr.inria.aoste.kpassa.util.KPassaLabel
-
- menu_load_balanced_marking - Static variable in class fr.inria.aoste.kpassa.util.KPassaLabel
-
- menu_load_init_marking - Static variable in class fr.inria.aoste.kpassa.util.KPassaLabel
-
- menu_load_init_marking_after_equalization - Static variable in class fr.inria.aoste.kpassa.util.KPassaLabel
-
- menu_new - Static variable in class fr.inria.aoste.kpassa.util.KPassaLabel
-
- menu_open - Static variable in class fr.inria.aoste.kpassa.util.KPassaLabel
-
- menu_print - Static variable in class fr.inria.aoste.kpassa.util.KPassaLabel
-
- menu_printArcInfo - Static variable in class fr.inria.aoste.kpassa.util.KPassaLabel
-
- menu_printVertexInfo - Static variable in class fr.inria.aoste.kpassa.util.KPassaLabel
-
- menu_run - Static variable in class fr.inria.aoste.kpassa.util.KPassaLabel
-
- menu_run_auto_simu - Static variable in class fr.inria.aoste.kpassa.util.KPassaLabel
-
- menu_run_guided_init - Static variable in class fr.inria.aoste.kpassa.util.KPassaLabel
-
- menu_run_step_simu - Static variable in class fr.inria.aoste.kpassa.util.KPassaLabel
-
- menu_save - Static variable in class fr.inria.aoste.kpassa.util.KPassaLabel
-
- menu_saveAs - Static variable in class fr.inria.aoste.kpassa.util.KPassaLabel
-
- menu_screenShot - Static variable in class fr.inria.aoste.kpassa.util.KPassaLabel
-
- menu_set_edit_mode - Static variable in class fr.inria.aoste.kpassa.util.KPassaLabel
-
- menu_Simulator - Static variable in class fr.inria.aoste.kpassa.util.KPassaLabel
-
- MGArc - Interface in fr.inria.aoste.kpassa.graph.markedgraph
-
- MGCycle - Interface in fr.inria.aoste.kpassa.graph.markedgraph
-
- MGEachFiredOnceFireableStrategy - Class in fr.inria.aoste.kpassa.algorithm.MG.simulator.fireableStrategy
-
To let every vertex be fired only once.
- MGEachFiredOnceFireableStrategy(MarkedGraph<?>) - Constructor for class fr.inria.aoste.kpassa.algorithm.MG.simulator.fireableStrategy.MGEachFiredOnceFireableStrategy
-
- MGMarking<T> - Interface in fr.inria.aoste.kpassa.graph.markedgraph
-
This interface represents the marking of a Marked Graph.
- MGSimulatorAlgorithm - Class in fr.inria.aoste.kpassa.algorithm.MG.simulator
-
This is the simulator for every kind of graph in KPassa.
- MGSimulatorAlgorithm(FireableStrategy, FiringStrategy, FiredStrategy) - Constructor for class fr.inria.aoste.kpassa.algorithm.MG.simulator.MGSimulatorAlgorithm
-
To build a simulator object
- MGVertex - Interface in fr.inria.aoste.kpassa.graph.markedgraph
-
- MGVertexImpl - Class in fr.inria.aoste.kpassa.graph.impl
-
- MGVertexListener - Interface in fr.inria.aoste.kpassa.graph.markedgraph
-
- min(short, short) - Static method in class fr.inria.aoste.kpassa.util.Rational
-
- MinimumCycleMeanRatioAlgorithm - Class in fr.inria.aoste.kpassa.algorithm.markedgraph
-
This algorithm is the implementation of Karp's algorithm to determine the
minimum cycle mean ratio
This implementation is more complex than the basic one because the arc in KPassa can
have a latency (more than 1).
- MinimumCycleMeanRatioAlgorithm(DiGraph, StronglyConnectedComponent<MGVertex, MGArc>) - Constructor for class fr.inria.aoste.kpassa.algorithm.markedgraph.MinimumCycleMeanRatioAlgorithm
-
- moveMarkingForward() - Method in interface fr.inria.aoste.kpassa.graph.synchronousmarkedgraph.SMGArc
-