Overview
Package
Class
Tree
Deprecated
Index
Help
PREV NEXT
FRAMES
NO FRAMES
All Classes
A
B
C
D
E
F
G
I
L
M
P
R
S
T
U
V
W
A
accept(File)
- Method in class verf.mdverif.verifier.
MDFileFilter
addChild(MDVerifMode)
- Method in class verf.mdverif.model.entities.
MDVerifMode
addCondition(MDVerifTransCond)
- Method in class verf.mdverif.model.entities.
MDVerifTrans
addEvent(MDVerifTransCond)
- Method in class verf.mdverif.cg.
MDVerifCGEventSet
addEvents(MDVerifCGEventSet)
- Method in class verf.mdverif.cg.
MDVerifCGEventSet
addMode(MDVerifMode)
- Method in class verf.mdverif.cg.
MDVerifCGGlobalMode
addNode(MDVerifCGNode)
- Method in class verf.mdverif.cg.
MDVerifCG
Adds node into CG.
addNode(MDVerifSGNode, MDVerifSGNode)
- Method in class verf.mdverif.graphs.
MDVerifSGManager
addNode(MDVerifSGNode)
- Method in class verf.mdverif.sg.
MDVerifSG
addTrans(MDVerifCGTrans)
- Method in class verf.mdverif.cg.
MDVerifCG
Adds transition into CG.
addTrans(MDVerifSGTrans, MDVerifSGNode)
- Method in class verf.mdverif.graphs.
MDVerifSGManager
Add trasition into SG specified by basenode.
addTrans(MDVerifTrans)
- Method in class verf.mdverif.model.
MDVerifTransManager
addTrans(MDVerifSGTrans)
- Method in class verf.mdverif.sg.
MDVerifSG
B
BFS_LIMIT
- Static variable in class verf.mdverif.sg.
MDVerifSG
C
computeDistance(MDVerifSGNode, MDVerifSGNode)
- Method in class verf.mdverif.graphs.
MDVerifSGManager
computeDistance(MDVerifSGNode, MDVerifSGNode)
- Method in class verf.mdverif.sg.
MDVerifSG
computeReach(MDVerifCGGlobalMode, MDVerifTrans)
- Method in class verf.mdverif.model.
MDVerifModel
containsCond(MDVerifTransCond)
- Method in class verf.mdverif.cg.
MDVerifCGEventSet
containsMode(MDVerifMode)
- Method in class verf.mdverif.cg.
MDVerifCGGlobalMode
containsNode(MDVerifSGNode)
- Method in class verf.mdverif.sg.
MDVerifSG
D
doStart()
- Method in class verf.mdverif.
MDVerif
doStop()
- Method in class verf.mdverif.
MDVerif
E
equalsTo(MDVerifCGEventSet)
- Method in class verf.mdverif.cg.
MDVerifCGEventSet
Check if given event set exuals to this objects event set
equalsTo(MDVerifCGGlobalMode)
- Method in class verf.mdverif.cg.
MDVerifCGGlobalMode
execute(Graphics)
- Method in class verf.mdverif.cg.
MDVerifCGNode
execute(Graphics)
- Method in class verf.mdverif.cg.
MDVerifCGTrans
execute(Graphics)
- Method in interface verf.mdverif.graphs.
MDVerifDrawable
execute(Graphics)
- Method in class verf.mdverif.sg.
MDVerifSGNode
execute(Graphics)
- Method in class verf.mdverif.sg.
MDVerifSGTrans
F
findSameGMode(MDVerifCGNode)
- Method in class verf.mdverif.cg.
MDVerifCG
Allows to find the same global mode.
G
generateRTL(File, Vector, MDVerifSGManager)
- Method in class verf.mdverif.cg.
MDVerifCG
Allows to generate RTL formulas of given specification
getAllSuccesors(MDVerifSGNode)
- Method in class verf.mdverif.sg.
MDVerifSG
Allows to get succesors using tree edges
getAllSuccesors(MDVerifSGNode, boolean, boolean)
- Method in class verf.mdverif.sg.
MDVerifSG
Allows to get succesors using tree edges
getAllTrans()
- Method in class verf.mdverif.graphs.
MDVerifSGManager
getAllTrans()
- Method in class verf.mdverif.model.
MDVerifModel
getAllTrans()
- Method in class verf.mdverif.sg.
MDVerifSG
Allows to get all transitions.
getCG()
- Method in class verf.mdverif.
MDVerifMain
getCGReference()
- Method in class verf.mdverif.sg.
MDVerifSGNode
getChildren()
- Method in class verf.mdverif.model.entities.
MDVerifMode
getConditions()
- Method in class verf.mdverif.model.entities.
MDVerifTrans
getConflictingNodes()
- Method in class verf.mdverif.cg.
MDVerifCG
Gets conflicting nodes from CG graph visualisation.
getConstant()
- Method in class verf.mdverif.verifier.
MDVerifFormula
Get numeric constant value.
getCount()
- Method in class verf.mdverif.cg.
MDVerifCGEventSet
getDescription()
- Method in class verf.mdverif.verifier.
MDFileFilter
getDesModel()
- Method in class verf.mdverif.
MDVerifMain
Allows to get designer model.
getDistance()
- Method in class verf.mdverif.sg.
MDVerifSGNodeBFS
getEVSet()
- Method in class verf.mdverif.cg.
MDVerifCGNode
getEVSet(MDVerifTrans, MDVerifCGEventSet)
- Method in class verf.mdverif.model.
MDVerifModel
getEvtNum()
- Method in class verf.mdverif.cg.
MDVerifCGNode
getEvtNum()
- Method in class verf.mdverif.sg.
MDVerifSGNode
getGlobalMode()
- Method in class verf.mdverif.cg.
MDVerifCGNode
getGraphTPane()
- Method in class verf.mdverif.
MDVerifPane
getInitial()
- Method in class verf.mdverif.model.entities.
MDVerifMode
getInitRootEVSet()
- Method in class verf.mdverif.model.
MDVerifModel
getInitRootMode(Vector)
- Method in class verf.mdverif.model.entities.
MDVerifMode
getInitRootMode()
- Method in class verf.mdverif.model.
MDVerifModel
getIsomorphic()
- Method in class verf.mdverif.cg.
MDVerifCGNode
getIsomorphic()
- Method in class verf.mdverif.cg.
MDVerifCGTrans
getIsomorphic()
- Method in class verf.mdverif.sg.
MDVerifSGTrans
getLb()
- Method in class verf.mdverif.model.entities.
MDVerifTrans
getLevel()
- Method in class verf.mdverif.sg.
MDVerifSGNodeBFS
getMode()
- Method in class verf.mdverif.model.entities.
MDVerifTransCond
getMode1()
- Method in class verf.mdverif.cg.
MDVerifCGTrans
getMode1()
- Method in class verf.mdverif.model.entities.
MDVerifTrans
getMode1()
- Method in class verf.mdverif.verifier.
MDVerifFormula
Get reference to first formula mode.
getMode2()
- Method in class verf.mdverif.cg.
MDVerifCGTrans
getMode2()
- Method in class verf.mdverif.model.entities.
MDVerifTrans
getMode2()
- Method in class verf.mdverif.verifier.
MDVerifFormula
Get reference to second formula mode.
getModeByName(String)
- Method in class verf.mdverif.model.entities.
MDVerifMode
getModeByName(String)
- Method in class verf.mdverif.model.
MDVerifModel
getModeByName(String)
- Method in class verf.mdverif.model.
MDVerifModeManager
getModel()
- Method in class verf.mdverif.
MDVerifMain
getModeOutTransitions(MDVerifMode)
- Method in class verf.mdverif.model.
MDVerifModel
getModes()
- Method in class verf.mdverif.cg.
MDVerifCGGlobalMode
getModeType1()
- Method in class verf.mdverif.verifier.
MDVerifFormula
Get first formula event type.
getModeType2()
- Method in class verf.mdverif.verifier.
MDVerifFormula
Get second formula event type.
getName()
- Method in class verf.mdverif.model.entities.
MDVerifMode
getNode()
- Method in class verf.mdverif.sg.
MDVerifSGNodeBFS
getNode1()
- Method in class verf.mdverif.sg.
MDVerifSGTrans
getNode2()
- Method in class verf.mdverif.sg.
MDVerifSGTrans
getPaint()
- Method in class verf.mdverif.cg.
MDVerifCGNode
getPanel()
- Method in class verf.mdverif.sg.
MDVerifSG
getParent()
- Method in class verf.mdverif.model.entities.
MDVerifMode
getReferencePoint(MDVerifTrans, MDVerifCGNode)
- Method in class verf.mdverif.cg.
MDVerifCG
Returns reference point for given transition up from specified node in SG graph.
getRelation()
- Method in class verf.mdverif.verifier.
MDVerifFormula
Get formula relation.
getRootMode()
- Method in class verf.mdverif.model.
MDVerifModel
getRootMode()
- Method in class verf.mdverif.model.
MDVerifModeManager
getSGManager()
- Method in class verf.mdverif.
MDVerifMain
getSGNode()
- Method in class verf.mdverif.cg.
MDVerifCGNode
getString()
- Method in class verf.mdverif.cg.
MDVerifCGEventSet
getString()
- Method in class verf.mdverif.cg.
MDVerifCGGlobalMode
Output string representation of global mode.
getString()
- Method in class verf.mdverif.verifier.
MDVerifFormula
Return string representation of given formula.
getSuccesors(MDVerifSGNode)
- Method in class verf.mdverif.sg.
MDVerifSG
Allows to get succesors using tree edges
getTemp()
- Method in class verf.mdverif.cg.
MDVerifCGNode
getTempNodes()
- Method in class verf.mdverif.cg.
MDVerifCG
Allows to get temporal CG nodes.
getTotalIsomorphicNodes()
- Method in class verf.mdverif.cg.
MDVerifCG
Allows to get isomorphic CG nodes.
getTotalIsomorphicTransCount()
- Method in class verf.mdverif.graphs.
MDVerifSGManager
getTotalIsomorphicTransCount()
- Method in class verf.mdverif.sg.
MDVerifSG
getTotalNodes()
- Method in class verf.mdverif.cg.
MDVerifCG
Gets total CG nodes count.
getTotalTransCount()
- Method in class verf.mdverif.cg.
MDVerifCG
Gets total CG transition count.
getTotalTransCount()
- Method in class verf.mdverif.graphs.
MDVerifSGManager
getTotalTransCount()
- Method in class verf.mdverif.sg.
MDVerifSG
getTotalTreeNodes()
- Method in class verf.mdverif.cg.
MDVerifCG
Get total sum of tree nodes.
getTotalTreeTransCount()
- Method in class verf.mdverif.graphs.
MDVerifSGManager
getTotalTreeTransCount()
- Method in class verf.mdverif.sg.
MDVerifSG
getTotalUnreachableNodes()
- Method in class verf.mdverif.cg.
MDVerifCG
Get total sum of unreachable nodes.
getTotalUnreachableTransCount()
- Method in class verf.mdverif.graphs.
MDVerifSGManager
getTotalUnreachableTransCount()
- Method in class verf.mdverif.sg.
MDVerifSG
getTrans()
- Method in class verf.mdverif.model.entities.
MDVerifTransCond
getTrans()
- Method in class verf.mdverif.sg.
MDVerifSGNodeBFS
getTransByModeNames(String, String)
- Method in class verf.mdverif.model.
MDVerifModel
getTransByModeNames(String, String)
- Method in class verf.mdverif.model.
MDVerifTransManager
getTransition()
- Method in class verf.mdverif.cg.
MDVerifCGNode
getTransitions()
- Method in class verf.mdverif.model.
MDVerifTransManager
getTreeEdge()
- Method in class verf.mdverif.sg.
MDVerifSGTrans
getType()
- Method in class verf.mdverif.model.entities.
MDVerifMode
getType()
- Method in class verf.mdverif.model.entities.
MDVerifTrans
getType()
- Method in class verf.mdverif.model.entities.
MDVerifTransCond
getUb()
- Method in class verf.mdverif.model.entities.
MDVerifTrans
getUnexpanded()
- Method in class verf.mdverif.cg.
MDVerifCGNode
getUnexpandedNode()
- Method in class verf.mdverif.cg.
MDVerifCG
Get total sum of unexpanded nodes.
getUnreachable()
- Method in class verf.mdverif.cg.
MDVerifCGNode
getUnreachable()
- Method in class verf.mdverif.sg.
MDVerifSGNode
getWeight()
- Method in class verf.mdverif.sg.
MDVerifSGTrans
getX()
- Method in class verf.mdverif.cg.
MDVerifCGNode
getX()
- Method in class verf.mdverif.sg.
MDVerifSGNode
getY()
- Method in class verf.mdverif.cg.
MDVerifCGNode
getY()
- Method in class verf.mdverif.sg.
MDVerifSGNode
I
init(JComponent)
- Method in class verf.mdverif.
MDVerifTool
Init plugin and put into tabbed pane.
initComponent()
- Method in class verf.mdverif.sg.
MDVerifSG
initTool()
- Method in class verf.mdverif.
MDVerifPane
isChild(MDVerifMode)
- Method in class verf.mdverif.model.entities.
MDVerifMode
L
loadData()
- Method in class verf.mdverif.verifier.
MDVerifDialog
Allows to load data into dialog.
loadData()
- Method in class verf.mdverif.verifier.
MDVerifStats
Allows to load data into dialog.
M
max_distance(MDVerifSGNode, MDVerifSGNode)
- Method in class verf.mdverif.graphs.
MDVerifSGManager
max_distance(MDVerifSGNode, MDVerifSGNode)
- Method in class verf.mdverif.sg.
MDVerifSG
MDFileFilter
- Class in
verf.mdverif.verifier
File filter for MD RTL specification file.
MDFileFilter()
- Constructor for class verf.mdverif.verifier.
MDFileFilter
MDVerif
- Class in
verf.mdverif
MDVerif()
- Constructor for class verf.mdverif.
MDVerif
MDVerifCG
- Class in
verf.mdverif.cg
Computation graph class.
MDVerifCG()
- Constructor for class verf.mdverif.cg.
MDVerifCG
Default constructor.
MDVerifCGEventSet
- Class in
verf.mdverif.cg
Class representing events set of mode.
MDVerifCGEventSet()
- Constructor for class verf.mdverif.cg.
MDVerifCGEventSet
MDVerifCGEventSet(Vector)
- Constructor for class verf.mdverif.cg.
MDVerifCGEventSet
MDVerifCGGlobalMode
- Class in
verf.mdverif.cg
Class representing global mode.
MDVerifCGGlobalMode()
- Constructor for class verf.mdverif.cg.
MDVerifCGGlobalMode
MDVerifCGGlobalMode(Vector)
- Constructor for class verf.mdverif.cg.
MDVerifCGGlobalMode
MDVerifCGNode
- Class in
verf.mdverif.cg
Class representing CG node.
MDVerifCGNode(MDVerifCGGlobalMode, MDVerifCGEventSet, int, MDVerifTrans)
- Constructor for class verf.mdverif.cg.
MDVerifCGNode
MDVerifCGNode(MDVerifCGGlobalMode, MDVerifCGEventSet, int)
- Constructor for class verf.mdverif.cg.
MDVerifCGNode
MDVerifCGNode(MDVerifCGGlobalMode, MDVerifCGEventSet, boolean, boolean)
- Constructor for class verf.mdverif.cg.
MDVerifCGNode
MDVerifCGTrans
- Class in
verf.mdverif.cg
Class representing CG transition
MDVerifCGTrans(MDVerifCGNode, MDVerifCGNode)
- Constructor for class verf.mdverif.cg.
MDVerifCGTrans
MDVerifDialog
- Class in
verf.mdverif.verifier
Dialog for RTL formula verifier.
MDVerifDialog()
- Constructor for class verf.mdverif.verifier.
MDVerifDialog
Creates new form MDVerifDialog
MDVerifDrawable
- Interface in
verf.mdverif.graphs
MDVerifFormula
- Class in
verf.mdverif.verifier
Class representing modechart verifier input RTL fomula.
MDVerifFormula()
- Constructor for class verf.mdverif.verifier.
MDVerifFormula
Default condtructor.
MDVerifGraphGenerator
- Class in
verf.mdverif
MDVerifGraphGenerator()
- Constructor for class verf.mdverif.
MDVerifGraphGenerator
MDVerifMain
- Class in
verf.mdverif
MDVerifMain(MDVerifPane)
- Constructor for class verf.mdverif.
MDVerifMain
MDVerifMode
- Class in
verf.mdverif.model.entities
Mode of internal Modechart representation.
MDVerifMode()
- Constructor for class verf.mdverif.model.entities.
MDVerifMode
MDVerifMode(String, int, boolean)
- Constructor for class verf.mdverif.model.entities.
MDVerifMode
MDVerifMode(String, int, boolean, MDVerifMode)
- Constructor for class verf.mdverif.model.entities.
MDVerifMode
MDVerifModel
- Class in
verf.mdverif.model
MDVerifModel()
- Constructor for class verf.mdverif.model.
MDVerifModel
MDVerifModeManager
- Class in
verf.mdverif.model
MDVerifModeManager()
- Constructor for class verf.mdverif.model.
MDVerifModeManager
MDVerifPane
- Class in
verf.mdverif
MDVerifPane()
- Constructor for class verf.mdverif.
MDVerifPane
MDVerifRepWraper
- Class in
verf.mdverif
Class alowing to wrap MDDesigner modechart tree and transition representation into non-hierarchical verifier scheme.
MDVerifRepWraper()
- Constructor for class verf.mdverif.
MDVerifRepWraper
MDVerifSG
- Class in
verf.mdverif.sg
Separation graph managing class.
MDVerifSG()
- Constructor for class verf.mdverif.sg.
MDVerifSG
MDVerifSGManager
- Class in
verf.mdverif.graphs
MDVerifSGManager()
- Constructor for class verf.mdverif.graphs.
MDVerifSGManager
MDVerifSGManager(JTabbedPane)
- Constructor for class verf.mdverif.graphs.
MDVerifSGManager
MDVerifSGNode
- Class in
verf.mdverif.sg
Separation graph node class.
MDVerifSGNode()
- Constructor for class verf.mdverif.sg.
MDVerifSGNode
MDVerifSGNode(int)
- Constructor for class verf.mdverif.sg.
MDVerifSGNode
MDVerifSGNode(int, boolean)
- Constructor for class verf.mdverif.sg.
MDVerifSGNode
MDVerifSGNodeBFS
- Class in
verf.mdverif.sg
Node for BFS distance computation method.
MDVerifSGNodeBFS()
- Constructor for class verf.mdverif.sg.
MDVerifSGNodeBFS
MDVerifSGTrans
- Class in
verf.mdverif.sg
Separation graph transition class.
MDVerifSGTrans()
- Constructor for class verf.mdverif.sg.
MDVerifSGTrans
MDVerifSGTrans(MDVerifSGNode, MDVerifSGNode, int)
- Constructor for class verf.mdverif.sg.
MDVerifSGTrans
MDVerifSGTrans(MDVerifSGNode, MDVerifSGNode, int, boolean)
- Constructor for class verf.mdverif.sg.
MDVerifSGTrans
MDVerifSGTrans(MDVerifSGNode, MDVerifSGNode, int, boolean, boolean)
- Constructor for class verf.mdverif.sg.
MDVerifSGTrans
MDVerifStats
- Class in
verf.mdverif.verifier
Form outputing statistics.
MDVerifStats()
- Constructor for class verf.mdverif.verifier.
MDVerifStats
Creates new form MDVerifStats
MDVerifTool
- Class in
verf.mdverif
Base extension point of plugin.
MDVerifTool()
- Constructor for class verf.mdverif.
MDVerifTool
MDVerifTrans
- Class in
verf.mdverif.model.entities
Transition of internal Modechart representation.
MDVerifTrans()
- Constructor for class verf.mdverif.model.entities.
MDVerifTrans
MDVerifTrans(int, int)
- Constructor for class verf.mdverif.model.entities.
MDVerifTrans
MDVerifTrans(int, int, MDVerifMode, MDVerifMode)
- Constructor for class verf.mdverif.model.entities.
MDVerifTrans
MDVerifTrans(int)
- Constructor for class verf.mdverif.model.entities.
MDVerifTrans
MDVerifTrans(Vector)
- Constructor for class verf.mdverif.model.entities.
MDVerifTrans
MDVerifTrans(Vector, MDVerifMode, MDVerifMode)
- Constructor for class verf.mdverif.model.entities.
MDVerifTrans
MDVerifTransCond
- Class in
verf.mdverif.model.entities
Transition condition of internal Modechart representation.
MDVerifTransCond()
- Constructor for class verf.mdverif.model.entities.
MDVerifTransCond
MDVerifTransCond(int)
- Constructor for class verf.mdverif.model.entities.
MDVerifTransCond
MDVerifTransCond(MDVerifMode, int)
- Constructor for class verf.mdverif.model.entities.
MDVerifTransCond
MDVerifTransCond(MDVerifTrans)
- Constructor for class verf.mdverif.model.entities.
MDVerifTransCond
MDVerifTransManager
- Class in
verf.mdverif.model
MDVerifTransManager()
- Constructor for class verf.mdverif.model.
MDVerifTransManager
min_distance(MDVerifSGNode, MDVerifSGNode)
- Method in class verf.mdverif.graphs.
MDVerifSGManager
min_distance(MDVerifSGNode, MDVerifSGNode)
- Method in class verf.mdverif.sg.
MDVerifSG
P
paint(Graphics)
- Method in class verf.mdverif.cg.
MDVerifCG
Paint CG into canvas.
paint(Graphics)
- Method in class verf.mdverif.sg.
MDVerifSG
PLUGIN_ID
- Static variable in class verf.mdverif.
MDVerif
This plug-in ID.
printInfo()
- Method in class verf.mdverif.cg.
MDVerifCG
Prints info abou transitions and nodes.
printInfo()
- Method in class verf.mdverif.cg.
MDVerifCGEventSet
printInfo()
- Method in class verf.mdverif.cg.
MDVerifCGGlobalMode
printInfo()
- Method in class verf.mdverif.graphs.
MDVerifSGManager
printInfo()
- Method in class verf.mdverif.model.entities.
MDVerifMode
printInfo()
- Method in class verf.mdverif.model.entities.
MDVerifTrans
printInfo()
- Method in class verf.mdverif.model.entities.
MDVerifTransCond
printInfo()
- Method in class verf.mdverif.model.
MDVerifModeManager
printInfo()
- Method in class verf.mdverif.sg.
MDVerifSG
printModeInfo()
- Method in class verf.mdverif.model.
MDVerifModel
printTransInfo()
- Method in class verf.mdverif.model.
MDVerifModel
putInitialNode(MDVerifSGNode)
- Method in class verf.mdverif.graphs.
MDVerifSGManager
R
receiveMDDesign(EventObject)
- Method in class verf.mdverif.
MDVerifMain
reinit()
- Method in class verf.mdverif.cg.
MDVerifCG
Reinits class and removes all nodes and transitions.
reinit()
- Method in class verf.mdverif.graphs.
MDVerifSGManager
reinit()
- Method in class verf.mdverif.sg.
MDVerifSG
removeNode(MDVerifCGNode)
- Method in class verf.mdverif.cg.
MDVerifCG
Removes node from CG graph together with all transitions.
removeNode(MDVerifSGNode)
- Method in class verf.mdverif.graphs.
MDVerifSGManager
Removes node together with transitions containing it from SG.
removeNode(MDVerifSGNode)
- Method in class verf.mdverif.sg.
MDVerifSG
Removes node from SG together with all its transitions.
removeTransitions(MDVerifCGNode)
- Method in class verf.mdverif.cg.
MDVerifCG
Removes all transitions containing given CG node as source or destination.
resetCnt()
- Method in class verf.mdverif.
MDVerifGraphGenerator
S
setCGReference(MDVerifCGNode)
- Method in class verf.mdverif.sg.
MDVerifSGNode
setConstant(int)
- Method in class verf.mdverif.verifier.
MDVerifFormula
Set number constant value.
setDistance(Integer)
- Method in class verf.mdverif.sg.
MDVerifSGNodeBFS
setEventNum(int)
- Method in class verf.mdverif.cg.
MDVerifCGNode
setInitial(boolean)
- Method in class verf.mdverif.model.entities.
MDVerifMode
setIsomorphic(boolean)
- Method in class verf.mdverif.cg.
MDVerifCGNode
setIsomorphic(boolean)
- Method in class verf.mdverif.cg.
MDVerifCGTrans
setLevel(Integer)
- Method in class verf.mdverif.sg.
MDVerifSGNodeBFS
setMode1(MDVerifMode)
- Method in class verf.mdverif.model.entities.
MDVerifTrans
setMode1(MDMode)
- Method in class verf.mdverif.verifier.
MDVerifFormula
Set reference onto first formula event mode.
setMode2(MDVerifMode)
- Method in class verf.mdverif.model.entities.
MDVerifTrans
setMode2(MDMode)
- Method in class verf.mdverif.verifier.
MDVerifFormula
Set reference onto second formula event mode.
setModeType1(int)
- Method in class verf.mdverif.verifier.
MDVerifFormula
Set first formula event type.
setModeType2(int)
- Method in class verf.mdverif.verifier.
MDVerifFormula
Set second formula event type.
setName(String)
- Method in class verf.mdverif.model.entities.
MDVerifMode
setNode(MDVerifSGNode)
- Method in class verf.mdverif.sg.
MDVerifSGNodeBFS
setNode1(MDVerifCGNode)
- Method in class verf.mdverif.cg.
MDVerifCGTrans
setNode2(MDVerifCGNode)
- Method in class verf.mdverif.cg.
MDVerifCGTrans
setPaint(boolean)
- Method in class verf.mdverif.cg.
MDVerifCGNode
setParent(MDVerifMode)
- Method in class verf.mdverif.model.entities.
MDVerifMode
setRelation(int)
- Method in class verf.mdverif.verifier.
MDVerifFormula
Set relation between formulas.
setRootMode(MDVerifMode)
- Method in class verf.mdverif.model.
MDVerifModel
setRootMode(MDVerifMode)
- Method in class verf.mdverif.model.
MDVerifModeManager
setSGNode(MDVerifSGNode)
- Method in class verf.mdverif.cg.
MDVerifCGNode
setShowIsomorphic(boolean)
- Method in class verf.mdverif.cg.
MDVerifCG
Allows to show isomorphic nodes.
setShowOrdinal(boolean)
- Method in class verf.mdverif.cg.
MDVerifCG
Allows to show ordinal nodes.
setShowUnreachable(boolean)
- Method in class verf.mdverif.cg.
MDVerifCG
Allows to show unreachable nodes.
setTemp(boolean)
- Method in class verf.mdverif.cg.
MDVerifCGNode
setTemp(boolean)
- Method in class verf.mdverif.sg.
MDVerifSGNode
setTransition(MDVerifTrans)
- Method in class verf.mdverif.cg.
MDVerifCGNode
setType(int)
- Method in class verf.mdverif.model.entities.
MDVerifMode
setUnexpanded(boolean)
- Method in class verf.mdverif.cg.
MDVerifCGNode
setUnreachable(boolean)
- Method in class verf.mdverif.cg.
MDVerifCGNode
setUnreachable(boolean)
- Method in class verf.mdverif.sg.
MDVerifSGNode
setVerif(MDVerifMain)
- Method in class verf.mdverif.verifier.
MDVerifDialog
Allows to set main verifier object reference.
setVerif(MDVerifMain)
- Method in class verf.mdverif.verifier.
MDVerifStats
Allows to set verifier reference.
setX(int)
- Method in class verf.mdverif.cg.
MDVerifCGNode
setX(int)
- Method in class verf.mdverif.sg.
MDVerifSGNode
setY(int)
- Method in class verf.mdverif.cg.
MDVerifCGNode
setY(int)
- Method in class verf.mdverif.sg.
MDVerifSGNode
T
TYPE_IN
- Static variable in class verf.mdverif.model.entities.
MDVerifTransCond
TYPE_IN
- Static variable in class verf.mdverif.verifier.
MDVerifFormula
TYPE_NONE
- Static variable in class verf.mdverif.model.entities.
MDVerifTransCond
TYPE_OUT
- Static variable in class verf.mdverif.model.entities.
MDVerifTransCond
TYPE_OUT
- Static variable in class verf.mdverif.verifier.
MDVerifFormula
TYPE_PAR
- Static variable in class verf.mdverif.model.entities.
MDVerifMode
TYPE_RELATION1
- Static variable in class verf.mdverif.verifier.
MDVerifFormula
TYPE_RELATION2
- Static variable in class verf.mdverif.verifier.
MDVerifFormula
TYPE_SER
- Static variable in class verf.mdverif.model.entities.
MDVerifMode
TYPE_TIME
- Static variable in class verf.mdverif.model.entities.
MDVerifTrans
TYPE_TRANS
- Static variable in class verf.mdverif.model.entities.
MDVerifTransCond
TYPE_TRIG
- Static variable in class verf.mdverif.model.entities.
MDVerifTrans
U
update(Graphics)
- Method in class verf.mdverif.cg.
MDVerifCG
Update graphics method.
update(Graphics)
- Method in class verf.mdverif.sg.
MDVerifSG
V
verf.mdverif
- package verf.mdverif
verf.mdverif.cg
- package verf.mdverif.cg
verf.mdverif.graphs
- package verf.mdverif.graphs
verf.mdverif.model
- package verf.mdverif.model
verf.mdverif.model.entities
- package verf.mdverif.model.entities
verf.mdverif.sg
- package verf.mdverif.sg
verf.mdverif.verifier
- package verf.mdverif.verifier
verifyFormula(MDVerifFormula, MDVerifSGManager)
- Method in class verf.mdverif.cg.
MDVerifCG
Allows to verify given formula against CG and SEP
W
wrap(MModel)
- Method in class verf.mdverif.
MDVerifRepWraper
A
B
C
D
E
F
G
I
L
M
P
R
S
T
U
V
W
Overview
Package
Class
Tree
Deprecated
Index
Help
PREV NEXT
FRAMES
NO FRAMES
All Classes