Syft::TLSFArgs Struct Reference

Collaboration diagram for Syft::TLSFArgs:

Public Attributes
const Player	starting_player
const Player	protagonist_player
const InputOutputPartition	partition
const whitemech::lydia::ltlf_ptr	formula

---

The documentation for this struct was generated from the following file:

• src/synthesis/header/Utils.h