specless.specification.timed_partial_order.Service

class specless.specification.timed_partial_order.Service(name, type, from_str, to_str, service_time, controllable, precedences: List)[source]

Bases: object

Methods

Attributes

name

type

from_str

to_str

service_time

controllabe

precedences