You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
7 lines
161 B
7 lines
161 B
from . import _config
|
|
|
|
if not _config.storm_with_gspn:
|
|
raise ImportError("No support for GSPNs was built in Storm.")
|
|
|
|
from . import gspn
|
|
from .gspn import *
|