Searched refs:isOnlyOnceOption (Results 1 – 1 of 1) sorted by relevance
137 isOnlyOnceOption :: SMTOption -> Bool138 isOnlyOnceOption DiagnosticOutputChannel{} = True function139 isOnlyOnceOption ProduceAssertions{} = True function140 isOnlyOnceOption ProduceAssignments{} = True function141 isOnlyOnceOption ProduceProofs{} = True function142 isOnlyOnceOption ProduceInterpolants{} = True function143 isOnlyOnceOption ProduceUnsatAssumptions{} = True function144 isOnlyOnceOption ProduceUnsatCores{} = True function145 isOnlyOnceOption RandomSeed{} = False function146 isOnlyOnceOption ReproducibleResourceLimit{} = False function[all …]