- incrementPosition() - Method in class fr.inria.aoste.kpassa.util.NaryWord
-
- init(boolean, boolean, boolean) - Method in class fr.inria.aoste.kpassa.algorithm.synchronousMarkedGraph.simulator.Simulator
-
- initialScheduleChanged(MGVertex, BinaryWord, BinaryWord) - Method in class fr.inria.aoste.kpassa.graph.impl.AsynchMGImpl
-
- initialScheduleChanged(MGVertex, BinaryWord, BinaryWord) - Method in class fr.inria.aoste.kpassa.graph.impl.SynchronousMarkedGraphImpl
-
- initialScheduleChanged(MGVertex, BinaryWord, BinaryWord) - Method in interface fr.inria.aoste.kpassa.graph.markedgraph.MGVertexListener
-
Called when the initial schedule of the vertex has changed.
- initToString() - Method in class fr.inria.aoste.kpassa.util.NaryWord
-
- InputAndOutputException - Exception in fr.inria.aoste.kpassa.exception
-
- InputAndOutputException() - Constructor for exception fr.inria.aoste.kpassa.exception.InputAndOutputException
-
- InputAndOutputException(String) - Constructor for exception fr.inria.aoste.kpassa.exception.InputAndOutputException
-
- InputAndOutputException(Throwable) - Constructor for exception fr.inria.aoste.kpassa.exception.InputAndOutputException
-
- InputAndOutputException(String, Throwable) - Constructor for exception fr.inria.aoste.kpassa.exception.InputAndOutputException
-
- InputAndOutputException(String, Throwable, boolean, boolean) - Constructor for exception fr.inria.aoste.kpassa.exception.InputAndOutputException
-
- intValue() - Method in class fr.inria.aoste.kpassa.util.BinaryWord
-
Return the value of the word in base 10.
- inWeightChanged(KRGArc, int, int) - Method in class fr.inria.aoste.kpassa.graph.impl.KRGGraphImpl
-
- inWeightChanged(SDFArc, int, int) - Method in class fr.inria.aoste.kpassa.graph.impl.SDFGraphImpl
-
- inWeightChanged(KRGArc, int, int) - Method in interface fr.inria.aoste.kpassa.graph.krg.KRGArcListener
-
- inWeightChanged(SDFArc, int, int) - Method in interface fr.inria.aoste.kpassa.graph.sdf.SDFArcListener
-
- isActif() - Method in class fr.inria.aoste.kpassa.graph.impl.AsynchMGArcImpl
-
- isActif() - Method in class fr.inria.aoste.kpassa.graph.impl.KRGArcImpl
-
- isActif() - Method in class fr.inria.aoste.kpassa.graph.impl.MGVertexImpl
-
- isActif() - Method in interface fr.inria.aoste.kpassa.graph.markedgraph.MGArc
-
Check whether the arc has a token available to fire the head vertex.
- isActif() - Method in interface fr.inria.aoste.kpassa.graph.markedgraph.MGVertex
-
To know whether a MGVertx has enough token in input to be fired
- isCritical() - Method in class fr.inria.aoste.kpassa.graph.impl.CycleImpl
-
- isCritical() - Method in interface fr.inria.aoste.kpassa.graph.markedgraph.MGCycle
-
To get the status of the cycle
- isEditMode() - Method in class fr.inria.aoste.kpassa.core.KPassaState
-
- isEqualTo(Rational) - Method in class fr.inria.aoste.kpassa.util.Rational
-
- isGreaterThan(Rational) - Method in class fr.inria.aoste.kpassa.util.Rational
-
- isInferiorTo(BinaryWord) - Method in class fr.inria.aoste.kpassa.util.BinaryWord
-
To check whether this is inferior to word2
- isInput() - Method in interface fr.inria.aoste.kpassa.graph.digraph.Vertex
-
To check whether the vertex is a global input of the system.
- isLessThan(Rational) - Method in class fr.inria.aoste.kpassa.util.Rational
-
- isOutput() - Method in interface fr.inria.aoste.kpassa.graph.digraph.Vertex
-
To check whether the vertex is a global output of the system.
- isRunMode() - Method in class fr.inria.aoste.kpassa.core.KPassaState
-
- isSteadyState() - Method in class fr.inria.aoste.kpassa.core.KPassa
-
Check whether the current marking is reachable from itself by following
an ASAP simulation.
- isSuperiorTo(BinaryWord) - Method in class fr.inria.aoste.kpassa.util.BinaryWord
-
To check whether this is superior to word2