(unnamed)

UMLExtend

MineSweeper :: Specification :: probe mined patch :: (probe mined patch→probe patch)

Description

none

Source probe mined patch

Target probe patch

Properties

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