(unnamed)

UMLExtend

MineSweeper :: Specification :: probe last safe patch :: (probe last safe patch→probe patch)

Description

none

Source probe last safe patch

Target probe patch

Properties

Name	Value
name
source	probe last safe patch
target	probe patch
stereotype	null
visibility	public
condition
extensionLocations