Class ModularSetAnalyzer

• Defined in File analyzer.h

Class Documentation

class ModularSetAnalyzer

Analyzer to get modular information over expression.

Public Functions

ModularSet operator()(const PrimExpr &expr)

Compute conservative congruence information under the current premises.

Parameters:

expr – The integer expression to analyze.

Returns:

A congruence class containing every possible value of expr.