kdrag.theories.algebra.filter.Filter

kdrag.theories.algebra.filter.Filter(T: SortRef)

A sort generic filter over sets of type T.

>>> Filter(smt.RealSort())
Filter_Real

Parameters:

T (SortRef)