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