/dports/math/z3/z3-z3-4.8.13/src/api/dotnet/ |
H A D | ArithExpr.cs | 52 public static ArithExpr operator /(ArithExpr a, int b) { return a / MkNum(a, b); } in operator /() 55 public static ArithExpr operator /(ArithExpr a, double b) { return a / MkNum(a, b); } in operator /() 58 public static ArithExpr operator /(int a, ArithExpr b) { return MkNum(b, a) / b; } in operator /() 76 public static ArithExpr operator -(int a, ArithExpr b) { return MkNum(b, a) - b; } in operator -() 85 public static ArithExpr operator +(ArithExpr a, int b) { return a + MkNum(a, b); } in operator +() 91 public static ArithExpr operator +(int a, ArithExpr b) { return MkNum(b, a) + b; } in operator +() 100 public static ArithExpr operator *(ArithExpr a, int b) { return a * MkNum(a, b); } in operator *() 106 public static ArithExpr operator *(int a, ArithExpr b) { return MkNum(b, a) * b; } in operator *() 130 public static BoolExpr operator <(ArithExpr a, int b) { return a < MkNum(a, b); } in operator <() 136 public static BoolExpr operator <(int a, ArithExpr b) { return MkNum(b, a) < b; } in operator <() [all …]
|
/dports/math/py-z3-solver/z3-z3-4.8.10/src/api/dotnet/ |
H A D | ArithExpr.cs | 52 public static ArithExpr operator /(ArithExpr a, int b) { return a / MkNum(a, b); } in operator /() 55 public static ArithExpr operator /(ArithExpr a, double b) { return a / MkNum(a, b); } in operator /() 58 public static ArithExpr operator /(int a, ArithExpr b) { return MkNum(b, a) / b; } in operator /() 76 public static ArithExpr operator -(int a, ArithExpr b) { return MkNum(b, a) - b; } in operator -() 85 public static ArithExpr operator +(ArithExpr a, int b) { return a + MkNum(a, b); } in operator +() 91 public static ArithExpr operator +(int a, ArithExpr b) { return MkNum(b, a) + b; } in operator +() 100 public static ArithExpr operator *(ArithExpr a, int b) { return a * MkNum(a, b); } in operator *() 106 public static ArithExpr operator *(int a, ArithExpr b) { return MkNum(b, a) * b; } in operator *() 130 public static BoolExpr operator <(ArithExpr a, int b) { return a < MkNum(a, b); } in operator <() 136 public static BoolExpr operator <(int a, ArithExpr b) { return MkNum(b, a) < b; } in operator <() [all …]
|
/dports/x11-wm/fvwm2/fvwm-2.6.9/modules/FvwmCpp/ |
H A D | FvwmCpp.c | 60 static char *MkNum(char *name,int def); 333 fputs(MkNum("VERSION", ProtocolVersion(display)), tmpf); in cpp_defs() 334 fputs(MkNum("REVISION", ProtocolRevision(display)), tmpf); in cpp_defs() 336 fputs(MkNum("RELEASE", VendorRelease(display)), tmpf); in cpp_defs() 339 fputs(MkNum("SCREEN", Mscreen), tmpf); in cpp_defs() 341 fputs(MkNum("WIDTH", DisplayWidth(display,Mscreen)), tmpf); in cpp_defs() 342 fputs(MkNum("HEIGHT", DisplayHeight(display,Mscreen)), tmpf); in cpp_defs() 345 fputs(MkNum("X_RESOLUTION",Resolution(screen->width,screen->mwidth)), in cpp_defs() 349 fputs(MkNum("PLANES",DisplayPlanes(display, Mscreen)), tmpf); in cpp_defs() 352 fputs(MkNum("BITS_PER_RGB", visual->bits_per_rgb), tmpf); in cpp_defs() [all …]
|
/dports/x11-wm/fvwm2/fvwm-2.6.9/modules/FvwmM4/ |
H A D | FvwmM4.c | 60 static char *MkNum(char *name,int def); 398 fputs(MkNum("VERSION", ProtocolVersion(display)), tmpf); in m4_defs() 399 fputs(MkNum("REVISION", ProtocolRevision(display)), tmpf); in m4_defs() 401 fputs(MkNum("RELEASE", VendorRelease(display)), tmpf); in m4_defs() 404 fputs(MkNum("SCREEN", Mscreen), tmpf); in m4_defs() 406 fputs(MkNum("WIDTH", DisplayWidth(display,Mscreen)), tmpf); in m4_defs() 407 fputs(MkNum("HEIGHT", DisplayHeight(display,Mscreen)), tmpf); in m4_defs() 410 fputs(MkNum( in m4_defs() 413 fputs(MkNum( in m4_defs() 419 fputs(MkNum("BITS_PER_RGB", visual->bits_per_rgb), tmpf); in m4_defs() [all …]
|
/dports/x11-wm/piewm/piewm-1.04/ |
H A D | parse.c | 1421 MkNum(name, def) in MkNum() function 1482 fputs(MkNum("VERSION", ProtocolVersion(display)), tmpf); in m4_defs() 1483 fputs(MkNum("REVISION", ProtocolRevision(display)), tmpf); in m4_defs() 1485 fputs(MkNum("RELEASE", VendorRelease(display)), tmpf); in m4_defs() 1488 fputs(MkNum("WIDTH", screen->width), tmpf); in m4_defs() 1489 fputs(MkNum("HEIGHT", screen->height), tmpf); in m4_defs() 1490 fputs(MkNum("X_RESOLUTION",Resolution(screen->width,screen->mwidth)), tmpf); in m4_defs() 1491 fputs(MkNum("Y_RESOLUTION",Resolution(screen->height,screen->mheight)),tmpf); in m4_defs() 1492 fputs(MkNum("PLANES",DisplayPlanes(display, DefaultScreen(display))), tmpf); in m4_defs() 1493 fputs(MkNum("BITS_PER_RGB", visual->bits_per_rgb), tmpf); in m4_defs()
|
/dports/x11-wm/tvtwm/tvtwm/ |
H A D | parse.c | 1723 static char *MkNum(name, def) in MkNum() function 1794 fputs(MkNum("VERSION", ProtocolVersion(display)), tmpf); 1795 fputs(MkNum("REVISION", ProtocolRevision(display)), tmpf); 1797 fputs(MkNum("RELEASE", VendorRelease(display)), tmpf); 1800 fputs(MkNum("WIDTH", screen->width), tmpf); 1801 fputs(MkNum("HEIGHT", screen->height), tmpf); 1802 fputs(MkNum("X_RESOLUTION",Resolution(screen->width,screen->mwidth)), tmpf); 1803 fputs(MkNum("Y_RESOLUTION",Resolution(screen->height,screen->mheight)),tmpf); 1804 fputs(MkNum("PLANES",DisplayPlanes(display, DefaultScreen(display))), tmpf); 1805 fputs(MkNum("BITS_PER_RGB", visual->bits_per_rgb), tmpf);
|
/dports/x11-wm/afterstep/AfterStep-1.0/afterstep/ |
H A D | configure.c | 2528 static char *MkNum(char *name,int def) in MkNum() function 2618 fputs(MkNum("VERSION", ProtocolVersion(display)), tmpf); in m4_defs() 2619 fputs(MkNum("REVISION", ProtocolRevision(display)), tmpf); in m4_defs() 2621 fputs(MkNum("RELEASE", VendorRelease(display)), tmpf); in m4_defs() 2624 fputs(MkNum("WIDTH", Scr.MyDisplayWidth), tmpf); in m4_defs() 2625 fputs(MkNum("HEIGHT", Scr.MyDisplayHeight), tmpf); in m4_defs() 2627 fputs(MkNum("X_RESOLUTION",Resolution(screen->width,screen->mwidth)),tmpf); in m4_defs() 2628 fputs(MkNum("Y_RESOLUTION",Resolution(screen->height,screen->mheight)),tmpf); in m4_defs() 2629 fputs(MkNum("PLANES",DisplayPlanes(display, Scr.screen)), tmpf); in m4_defs() 2631 fputs(MkNum("BITS_PER_RGB", visual->bits_per_rgb), tmpf); in m4_defs()
|
/dports/lang/ghc/ghc-8.10.7/docs/users_guide/ |
H A D | glasgow_exts.rst | 5754 data MyNum = MkNum Int 5757 pattern Zero = MkNum 0 5786 the data constructor ``MkNum`` and also the pattern synonym ``Zero``.
|