HOL-OCL
/
su4sml
1
0
Fork 0
Code Issues Pull Requests Releases Activity

2 simple testing function for kind of pseudo states 

git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3188 3260e6d1-4efc-4170-b0a7-36055960796d
This commit is contained in:
Jürgen Doser 2005-10-07 17:04:26 +00:00
parent 268c540455
commit 85c5d8d406
1 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/xmi_state_machines.sml
View File

@ -268,6 +268,12 @@ fun state_taggedValue_of (CompositeState{taggedValue,...}) = taggedValue
| state_taggedValue_of (PseudoState{taggedValue,...}) = taggedValue
| state_taggedValue_of (SyncState{taggedValue,...}) = taggedValue
fun state_is_fork (PseudoState{kind=fork,...}) = true
| state_is_fork _ = false
fun state_is_join (PseudoState{kind=join,...}) = true
| state_is_join _ = false
end