- c -

• CartonMaceiras() : Parity
• cbegin() : LTS< Tran > , Model
• cend() : LTS< Tran > , Model
• checkTransitions() : LTS< Tran >
• classifyStates() : Parity
• CommandLineOptions() : CommandLineOptions
• complement() : Parity