Home
last modified time | relevance | path

Searched defs:IntegerDomain (Results 1 – 4 of 4) sorted by relevance

/dports/math/singular/Singular-Release-4-2-1/factory/
H A Dcf_defs.h27 #define IntegerDomain 1 macro
/dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.platform.text/org.eclipse.ui.editors/src/org/eclipse/ui/internal/editors/text/
H A DAccessibilityPreferencePage.java151 static class IntegerDomain extends Domain { class in AccessibilityPreferencePage
154 public IntegerDomain(int min, int max) { in IntegerDomain() method in AccessibilityPreferencePage.IntegerDomain
H A DTextEditorDefaultsPreferencePage.java214 static class IntegerDomain extends Domain { class in TextEditorDefaultsPreferencePage
217 public IntegerDomain(int min, int max) { in IntegerDomain() method in TextEditorDefaultsPreferencePage.IntegerDomain
/dports/math/fflas-ffpack/fflas-ffpack-2.4.3/fflas-ffpack/fflas/fflas_fgemm/
H A Dfgemm_classical_mp.inl514 typedef Givaro::ZRing<Givaro::Integer> IntegerDomain; typedef
542 typedef Givaro::ZRing<Givaro::Integer> IntegerDomain; typedef