def LimitSet(self, value):
    self._endpoints_query_info.limit = value
Add a new clause to the theory.
dataset/ETHPy150Open GoogleDeveloperExperts/experts-app-backend/endpoints_proto_datastore/ndb/model.py/EndpointsModel.LimitSet--crossover with--dataset/ETHPy150Open sympy/sympy/sympy/logic/algorithms/dpll2.py/SATSolver._simple_add_learned_clause