Searched defs:SymbolicLexOpt (Results 1 – 1 of 1) sorted by relevance
529 struct SymbolicLexOpt { struct530 SymbolicLexOpt(const PresburgerSpace &space) in SymbolicLexOpt() function537 PWMAFunction lexopt;541 PresburgerSet unboundedDomain;