Searched refs:BtorOptBetaReduceMode (Results 1 – 1 of 1) sorted by relevance
981 enum BtorOptBetaReduceMode enum987 typedef enum BtorOptBetaReduceMode BtorOptBetaReduceMode; typedef