A B C D E F G H I K L M N O P R S T V W 

I

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
A B C D E F G H I K L M N O P R S T V W