cmd

type Options struct {
	Queries                              []string                       `json:"queries"`
	BackwardReachable                    bool                           `json:"backward_reachable"`
	BackwardReachableFeedbackDestination bool                           `json:"backward_reachable_feedback_destination"`
	Reachable                            bool                           `json:"reachable"`
	CommonOptions                        *tools.CommonOptions           `json:"common_options"`
	PFD                                  *pfd.PFD                       `json:"pfd"`
	FSMOptions                           *tools.FSMOptions              `json:"fsm_options"`
	AtomicProcessTable                   *pfd.AtomicProcessTable        `json:"atomic_process_table"`
	AtomicDeliverableTable               *pfd.AtomicDeliverableTable    `json:"atomic_deliverable_table"`
	CompositeProcessTable                *pfd.CompositeProcessTable     `json:"composite_process_table"`
	CompositeDeliverableTable            *pfd.CompositeDeliverableTable `json:"composite_deliverable_table"`
	MilestoneTable                       *fsmtable.MilestoneTable       `json:"milestone_table"`
	GroupTable                           *fsmtable.GroupTable           `json:"group_table"`
	ResourceTable                        *fsmtable.ResourceTable        `json:"resource_table"`
}