# This is a specification definition file for the LTLMoP toolkit.
# Format details are described at the beginning of each section below.


======== SETTINGS ========

Actions: # List of action propositions and their state (enabled = 1, disabled = 0)

CompileOptions:
convexify: False
fastslow: False

CurrentConfigName:
ROS

Customs: # List of custom propositions

RegionFile: # Relative path of region description file
zig_zag.regions

Sensors: # List of sensor propositions and their state (enabled = 1, disabled = 0)


======== SPECIFICATION ========

RegionMapping: # Mapping between region names and their decomposed counterparts
r6 = p1
others = 
r1 = p6
r2 = p5
r3 = p4

Spec: # Specification in structured English
visit r2
visit r1
visit r6

