Searched refs:DomainParameters (Results 1 – 1 of 1) sorted by relevance
1538 auto DomainParameters = S.getDomains().params(); in simplifyAssumptionContext() local1539 AssumptionContext = AssumptionContext.gist_params(DomainParameters); in simplifyAssumptionContext()