- s -

• save() : hal::gate_library_manager
• scoring() : hal::dataflow::scoring
• serialize_to_file() : hal::netlist_serializer
• set_bit() : hal::utils
• Sle() : hal::SMT::ConstantPropagation
• Slt() : hal::SMT::ConstantPropagation
• smt_init() : hal
• solve_fsm() : hal::solve_fsm
• solve_fsm_brute_force() : hal::solve_fsm
• split() : hal::utils
• starts_with() : hal::utils
• stringToDictionary() : hal::JsonConverter
• Sub() : hal::SMT::ConstantPropagation
• subgraph_netlist_decorator_init() : hal