Searched defs:PresolveContext (Results 1 – 1 of 1) sorted by relevance
43 class PresolveContext; variable74 PresolveContext(Model* model, CpModelProto* cp_model, CpModelProto* mapping) in PresolveContext() function